Edit Profile (opens in new tab) Santocanale, Luigi Compute Distance To: Compute Author ID: santocanale.luigi Published as: Santocanale, Luigi; Santocanale, L. Documents Indexed: 52 Publications since 2001 1 Contribution as Editor Reviewing Activity: 2 Reviews Co-Authors: 14 Co-Authors with 31 Joint Publications 307 Co-Co-Authors all top 5 Co-Authors 22 single-authored 7 Wehrung, Friedrich 6 Gouveia, Maria João 5 Ghilardi, Silvio 3 Belkhir, Walid 3 Venema, Yde 2 Arnold, André 2 Cockett, J. Robin B. 2 Frittella, Sabine 1 Caspard, Nathalie 1 de Lacroix, Cédric 1 Fahrenberg, Uli 1 Fortier, Jérôme 1 Gehrke, Mai 1 Palmigiano, Alessandra all top 5 Serials 3 Annals of Pure and Applied Logic 2 Journal of Pure and Applied Algebra 2 Theoretical Computer Science 2 Order 1 Algebra Universalis 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Information and Computation 1 Journal of Logic and Computation 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Applied Categorical Structures 1 Theory and Applications of Categories 1 Journal of the European Mathematical Society (JEMS) 1 RAIRO. Theoretical Informatics and Applications 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 27 Order, lattices, ordered algebraic structures (06-XX) 26 Mathematical logic and foundations (03-XX) 23 Computer science (68-XX) 10 Category theory; homological algebra (18-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Combinatorics (05-XX) 4 General algebraic systems (08-XX) 4 Group theory and generalizations (20-XX) 3 Convex and discrete geometry (52-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 43 Publications have been cited 174 times in 114 Documents Cited by ▼ Year ▼ A calculus of circular proofs and its categorical semantics. Zbl 1077.03515Santocanale, Luigi 23 2002 Free \(\mu\)-lattices. Zbl 0990.06004Santocanale, Luigi 14 2002 Cuts for circular proofs: semantics and cut-elimination. Zbl 1356.03098Fortier, Jérôme; Santocanale, Luigi 13 2013 Completeness for flat modal fixpoint logics. Zbl 1225.03020Santocanale, Luigi; Venema, Yde 11 2010 Completions of \(\mu \)-algebras. Zbl 1146.03042Santocanale, Luigi 10 2008 Uniform interpolation for monotone modal logic. Zbl 1254.03039Santocanale, Luigi; Venema, Yde 8 2010 \(\mu\)-bicomplete categories and parity games. Zbl 1024.18001Santocanale, Luigi 8 2002 Ambiguous classes in \(\mu\)-calculi hierarchies. Zbl 1070.68077Santocanale, Luigi; Arnold, André 7 2005 Algebraic and model theoretic techniques for fusion decidability in modal logics. Zbl 1273.03068Ghilardi, Silvio; Santocanale, Luigi 6 2003 Dual characterizations for finite lattices via correspondence theory for monotone modal logic. Zbl 1444.03173Frittella, Sabine; Palmigiano, Alessandra; Santocanale, Luigi 6 2017 The alternation hierarchy for the theory of \(\mu\)-lattices. Zbl 0987.03057Santocanale, Luigi 5 2001 Sublattices of associahedra and permutohedra. Zbl 1288.06011Santocanale, Luigi; Wehrung, Friedrich 4 2013 Varieties of lattices with geometric descriptions. Zbl 1294.06008Santocanale, Luigi; Wehrung, Friedrich 4 2013 On the join dependency relation in multinomial lattices. Zbl 1129.06005Santocanale, Luigi 4 2007 Lattices of regular closed subsets of closure spaces. Zbl 1404.06006Santocanale, Luigi; Wehrung, Friedrich 4 2014 On the equational definition of the least prefixed point. Zbl 1045.68088Santocanale, Luigi 3 2003 Permutohedra and associahedra. Zbl 1401.06003Caspard, N.; Santocanale, L.; Wehrung, F. 3 2016 Relational lattices via duality. Zbl 1477.06015Santocanale, Luigi 3 2016 Undirected graphs of entanglement 2. Zbl 1135.68503Belkhir, Walid; Santocanale, Luigi 3 2007 MIX \(\star\)-autonomous quantales and the continuous weak order. Zbl 06975210Gouveia, Maria João; Santocanale, Luigi 3 2018 Fixed-point theory in the varieties \(\mathcal{D}_{n}\). Zbl 1405.06003Frittella, Sabine; Santocanale, Luigi 3 2014 On the word problem for \({\Sigma\Pi}\)-categories, and the properties of two-way communication (extended abstract). Zbl 1257.03070Cockett, Robin; Santocanale, Luigi 2 2009 On discrete idempotent paths. Zbl 1458.05018Santocanale, Luigi 2 2019 A Nice labelling for tree-like event structures of degree 3. Zbl 1205.68249Santocanale, Luigi 2 2010 Completeness for flat modal fixpoint logics. (Extended abstract). Zbl 1137.03317Santocanale, Luigi; Venema, Yde 2 2007 The continuous weak order. Zbl 1446.18004Gouveia, Maria João; Santocanale, Luigi 2 2021 Logical construction of final coalgebras. Zbl 1270.18013Santocanale, Luigi 2 2003 The involutive quantaloid of completely distributive lattices. Zbl 07578348Santocanale, Luigi 2 2020 Ambiguous classes in the games \(\mu\)-calculus hierarchy. Zbl 1029.68095Arnold, André; Santocanale, Luigi 1 2003 Generalizations of the permutohedron. Zbl 1426.06002Santocanale, L.; Wehrung, F. 1 2016 The equational theory of the weak Bruhat order on finite symmetric groups. Zbl 1450.06001Santocanale, Luigi; Wehrung, Friedrich 1 2018 Topological properties of event structures. Zbl 1339.68191Santocanale, Luigi 1 2009 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 1 2016 On the equational definition of the least prefixed point. Zbl 0999.03026Santocanale, Luigi 1 2001 Free Heyting algebra endomorphisms: Ruitenburg’s theorem and beyond. Zbl 07283030Ghilardi, Silvio; Santocanale, Luigi 1 2020 Ruitenburg’s theorem via duality and bounded bisimulations. Zbl 1418.03191Ghilardi, Silvio; Santocanale, Luigi 1 2018 \(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027Gouveia, Maria João; Santocanale, Luigi 1 2019 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 1 2020 The variable hierarchy for the games \(\mu \)-calculus. Zbl 1225.03028Belkhir, Walid; Santocanale, Luigi 1 2010 The extended permutohedron on a transitive binary relation. Zbl 1341.06007Santocanale, Luigi; Wehrung, Friedrich 1 2014 From parity games to circular proofs. Zbl 1270.68197Santocanale, Luigi 1 2002 Dualizing sup-preserving endomaps of a complete lattice. Zbl 07454913Santocanale, Luigi 1 2021 Skew metrics valued in Sugihara semigroups. Zbl 07670531Santocanale, Luigi 1 2021 The continuous weak order. Zbl 1446.18004Gouveia, Maria João; Santocanale, Luigi 2 2021 Dualizing sup-preserving endomaps of a complete lattice. Zbl 07454913Santocanale, Luigi 1 2021 Skew metrics valued in Sugihara semigroups. Zbl 07670531Santocanale, Luigi 1 2021 The involutive quantaloid of completely distributive lattices. Zbl 07578348Santocanale, Luigi 2 2020 Free Heyting algebra endomorphisms: Ruitenburg’s theorem and beyond. Zbl 07283030Ghilardi, Silvio; Santocanale, Luigi 1 2020 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 1 2020 On discrete idempotent paths. Zbl 1458.05018Santocanale, Luigi 2 2019 \(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027Gouveia, Maria João; Santocanale, Luigi 1 2019 MIX \(\star\)-autonomous quantales and the continuous weak order. Zbl 06975210Gouveia, Maria João; Santocanale, Luigi 3 2018 The equational theory of the weak Bruhat order on finite symmetric groups. Zbl 1450.06001Santocanale, Luigi; Wehrung, Friedrich 1 2018 Ruitenburg’s theorem via duality and bounded bisimulations. Zbl 1418.03191Ghilardi, Silvio; Santocanale, Luigi 1 2018 Dual characterizations for finite lattices via correspondence theory for monotone modal logic. Zbl 1444.03173Frittella, Sabine; Palmigiano, Alessandra; Santocanale, Luigi 6 2017 Permutohedra and associahedra. Zbl 1401.06003Caspard, N.; Santocanale, L.; Wehrung, F. 3 2016 Relational lattices via duality. Zbl 1477.06015Santocanale, Luigi 3 2016 Generalizations of the permutohedron. Zbl 1426.06002Santocanale, L.; Wehrung, F. 1 2016 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 1 2016 Lattices of regular closed subsets of closure spaces. Zbl 1404.06006Santocanale, Luigi; Wehrung, Friedrich 4 2014 Fixed-point theory in the varieties \(\mathcal{D}_{n}\). Zbl 1405.06003Frittella, Sabine; Santocanale, Luigi 3 2014 The extended permutohedron on a transitive binary relation. Zbl 1341.06007Santocanale, Luigi; Wehrung, Friedrich 1 2014 Cuts for circular proofs: semantics and cut-elimination. Zbl 1356.03098Fortier, Jérôme; Santocanale, Luigi 13 2013 Sublattices of associahedra and permutohedra. Zbl 1288.06011Santocanale, Luigi; Wehrung, Friedrich 4 2013 Varieties of lattices with geometric descriptions. Zbl 1294.06008Santocanale, Luigi; Wehrung, Friedrich 4 2013 Completeness for flat modal fixpoint logics. Zbl 1225.03020Santocanale, Luigi; Venema, Yde 11 2010 Uniform interpolation for monotone modal logic. Zbl 1254.03039Santocanale, Luigi; Venema, Yde 8 2010 A Nice labelling for tree-like event structures of degree 3. Zbl 1205.68249Santocanale, Luigi 2 2010 The variable hierarchy for the games \(\mu \)-calculus. Zbl 1225.03028Belkhir, Walid; Santocanale, Luigi 1 2010 On the word problem for \({\Sigma\Pi}\)-categories, and the properties of two-way communication (extended abstract). Zbl 1257.03070Cockett, Robin; Santocanale, Luigi 2 2009 Topological properties of event structures. Zbl 1339.68191Santocanale, Luigi 1 2009 Completions of \(\mu \)-algebras. Zbl 1146.03042Santocanale, Luigi 10 2008 On the join dependency relation in multinomial lattices. Zbl 1129.06005Santocanale, Luigi 4 2007 Undirected graphs of entanglement 2. Zbl 1135.68503Belkhir, Walid; Santocanale, Luigi 3 2007 Completeness for flat modal fixpoint logics. (Extended abstract). Zbl 1137.03317Santocanale, Luigi; Venema, Yde 2 2007 Ambiguous classes in \(\mu\)-calculi hierarchies. Zbl 1070.68077Santocanale, Luigi; Arnold, André 7 2005 Algebraic and model theoretic techniques for fusion decidability in modal logics. Zbl 1273.03068Ghilardi, Silvio; Santocanale, Luigi 6 2003 On the equational definition of the least prefixed point. Zbl 1045.68088Santocanale, Luigi 3 2003 Logical construction of final coalgebras. Zbl 1270.18013Santocanale, Luigi 2 2003 Ambiguous classes in the games \(\mu\)-calculus hierarchy. Zbl 1029.68095Arnold, André; Santocanale, Luigi 1 2003 A calculus of circular proofs and its categorical semantics. Zbl 1077.03515Santocanale, Luigi 23 2002 Free \(\mu\)-lattices. Zbl 0990.06004Santocanale, Luigi 14 2002 \(\mu\)-bicomplete categories and parity games. Zbl 1024.18001Santocanale, Luigi 8 2002 From parity games to circular proofs. Zbl 1270.68197Santocanale, Luigi 1 2002 The alternation hierarchy for the theory of \(\mu\)-lattices. Zbl 0987.03057Santocanale, Luigi 5 2001 On the equational definition of the least prefixed point. Zbl 0999.03026Santocanale, Luigi 1 2001 all cited Publications top 5 cited Publications all top 5 Cited by 148 Authors 23 Santocanale, Luigi 7 Palmigiano, Alessandra 6 Venema, Yde 5 Bezhanishvili, Nick 5 Ghilardi, Silvio 4 Bílková, Marta 4 Cockett, J. Robin B. 4 Conradie, Willem 3 Cohen, Liron 3 Das, Anupam 3 Gouveia, Maria João 3 Kupke, Clemens 3 Michalewski, Henryk 3 Riba, Colin 3 Skrzypczak, Michał 3 Studer, Thomas 3 Tzimoulis, Apostolos 3 Wehrung, Friedrich 2 Adaricheva, Kira Vladislavovna 2 Arnold, André 2 Belkhir, Walid 2 Berwanger, Dietmar 2 Enqvist, Sebastian 2 Ésik, Zoltán 2 Greco, Giuseppe 2 Hodkinson, Ian Martin 2 Honsell, Furio 2 Jäger, Gerhard 2 Kurz, Alexander 2 Leal, Raul Andres 2 Lenisa, Marina 2 Pfenning, Frank 2 Redmond, Brian F. 2 Rowe, Reuben N. S. 2 Seifan, Fatemeh 2 Straßburger, Lutz 2 Wijnberg, Nachoem M. 1 Afshari, Bahareh 1 Akbar Tabatabai, Amirhossein 1 Andréka, Hajnal 1 Ardila, Federico 1 Baader, Franz 1 Basold, Henning 1 Bastidas, Hanner 1 Berardi, Stefano 1 Bruun, Hans 1 Burrell, Mike 1 Ceballos, Cesar 1 Chen, Jinsheng 1 Chepoi, Victor D. 1 Clairambault, Pierre 1 Coumans, Dion C. S. 1 Dagnino, Francesco 1 D’Agostino, Giovanna 1 De Groot, Jim 1 de Lacroix, Cédric 1 De Marchi, Federico 1 Defrain, Oscar 1 Derakhshan, Farzaneh 1 DeYoung, Henry 1 Ding, Yifeng 1 Dostál, Matěj 1 Espírito Santo, José Carlos 1 Facchini, Alessandro 1 Feng, Feng 1 Freese, Ralph S. 1 Frittella, Sabine 1 Gehrke, Mai 1 Grädel, Erich 1 Grilletti, Gianluca 1 Guo, John 1 Hagen, Mark F. 1 Heijltjes, Willem B. 1 Hidders, Jan 1 Hughes, Dominic J. D. 1 Iemhoff, Rosalie 1 Iliev, Petar 1 Jaber, Guilhem 1 Jalali, Raheleh 1 Jenkins, Christopher 1 Jun, Young Bae 1 Kaiser, Lukasz 1 Kozen, Dexter C. 1 Kretz, Mathis 1 Leigh, Graham Emil 1 Leiß, Hans 1 Lenczner, Michel 1 Litak, Tadeusz 1 Liu, Jixin 1 Marti, Johannes 1 Matthes, Ralph 1 McConville, Thomas 1 Melliès, Paul-André 1 Menéndez Turata, Guillermo 1 Mikulás, Szabolcs 1 Momigliano, Alberto 1 Mühle, Henri 1 Mundhenk, Martin 1 Murlak, Filip 1 Nation, James B. ...and 48 more Authors all top 5 Cited in 37 Serials 12 Theoretical Computer Science 9 Annals of Pure and Applied Logic 9 Logical Methods in Computer Science 5 MSCS. Mathematical Structures in Computer Science 3 Information and Computation 3 The Review of Symbolic Logic 3 Journal of Logical and Algebraic Methods in Programming 2 Algebra Universalis 2 Studia Logica 2 International Journal of Algebra and Computation 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 Information Processing Letters 1 Journal of Combinatorial Theory. Series A 1 Journal of Combinatorial Theory. Series B 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Order 1 Journal of Automated Reasoning 1 SIAM Journal on Discrete Mathematics 1 International Journal of Foundations of Computer Science 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 Selecta Mathematica. New Series 1 Theory of Computing Systems 1 Soft Computing 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Logica Universalis 1 RAIRO. Theoretical Informatics and Applications 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 13 Fields 71 Mathematical logic and foundations (03-XX) 58 Computer science (68-XX) 28 Order, lattices, ordered algebraic structures (06-XX) 15 Category theory; homological algebra (18-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Combinatorics (05-XX) 5 General algebraic systems (08-XX) 4 Group theory and generalizations (20-XX) 4 Convex and discrete geometry (52-XX) 2 Associative rings and algebras (16-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year