Access content directly

Luigi Santocanale

63
Documents
Researcher identifiers

Presentation

Publications

Image document

Bijective proofs for Eulerian numbers of types B and D

Luigi Santocanale
Discrete Mathematics and Theoretical Computer Science, 2023
Journal articles hal-03204493v4
Image document

Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond

Silvio Silvio.Ghilardi@unimi.It Ghilardi , Luigi Santocanale
Mathematical Structures in Computer Science, inPress
Journal articles hal-01969235v1
Image document

Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)

Silvio Silvio.Ghilardi@unimi.It Ghilardi , Maria Joao Gouveia , Luigi Santocanale
ACM Transactions on Computational Logic, inPress, 21 (1), pp.1--37. ⟨10.1145/3359669⟩
Journal articles hal-01716485v1
Image document

Embeddability into relational lattices is undecidable

Luigi Santocanale
Journal of Logical and Algebraic Methods in Programming, 2018, 97, pp.131-148. ⟨10.1016/j.jlamp.2018.03.001⟩
Journal articles hal-01344299v3
Image document

The equational theory of the weak order on finite symmetric groups

Luigi Santocanale , Friedrich Wehrung
Journal of the European Mathematical Society, 2018, 20 (8), pp.1959--2003. ⟨10.4171/JEMS/804⟩
Journal articles hal-00986148v2
Image document

Dual characterizations for finite lattices via correspondence theory for monotone modal logic

Sabine Frittella , Alessandra Palmigiano , Luigi Santocanale
Journal of Logic and Computation, 2016, J Logic Computation 2016, ⟨10.1093/logcom/exw011⟩
Journal articles hal-01054715v1
Image document

The extended permutohedron on a transitive binary relation

Luigi Santocanale , Friedrich Wehrung
European Journal of Combinatorics, 2014, 42, pp.179--206. ⟨10.1016/j.ejc.2014.06.004⟩
Journal articles hal-00750265v3
Image document

Lattices of regular closed subsets of closure spaces

Luigi Santocanale , Friedrich Wehrung
International Journal of Algebra and Computation, 2014, 24 (7), pp.969--1030. ⟨10.1142/S021819671450043X⟩
Journal articles hal-00836420v2
Image document

Sublattices of associahedra and permutohedra

Luigi Santocanale , Friedrich Wehrung
Advances in Applied Mathematics, 2013, 51 (3), pp.419--445. ⟨10.1016/j.aam.2013.03.003⟩
Journal articles hal-00577258v4
Image document

Varieties of lattices with geometric descriptions

Luigi Santocanale , Friedrich Wehrung
Order, 2013, 30 (1), pp.13--38. ⟨10.1007/s11083-011-9225-1⟩
Journal articles hal-00564024v2
Image document

Completeness for Flat Modal Fixpoint Logics

Luigi Santocanale , Yde Venema
Annals of Pure and Applied Logic, 2010, 162 (1), pp.55-82. ⟨10.1016/j.apal.2010.07.003⟩
Journal articles hal-00346782v1
Image document

The Variable Hierarchy for the Games mu-Calculus

Walid Belkhir , Luigi Santocanale
Annals of Pure and Applied Logic, 2010, 161 (5), pp.690-707. ⟨10.1016/j.apal.2009.07.015⟩
Journal articles hal-00178806v2
Image document

A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version)

Luigi Santocanale
Information and Computation, 2010, 208 (6), pp.652--665. ⟨10.1016/j.ic.2009.05.006⟩
Journal articles hal-00369451v1
Image document

Derived Semidistributive Lattices

Luigi Santocanale
Algebra Universalis, 2010, 63 (2), pp.101--130. ⟨10.1007/s00012-010-0073-4⟩
Journal articles hal-00165699v2

Topological Properties of Event Structures

Luigi Http://pageperso.Lif.Univ-Mrs.Fr/~luigi.Santocanale/ Santocanale
Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory (GETCO 2004+2005+2006), 230 (149–160), ⟨10.1016/j.entcs.2009.02.023⟩
Journal articles hal-01261062v1

Completions of mu-algebras

Luigi Santocanale
Annals of Pure and Applied Logic, 2007, 154 (1), pp.27-50. ⟨10.1016/j.apal.2007.11.001⟩
Journal articles hal-00142353v1

On the join dependency relation in multinomial lattices (Congruences of Multinomial Lattices)

Luigi Santocanale
Order, 2007, 24 (3), pp.155--179. ⟨10.1007/s11083-007-9066-0⟩
Journal articles hal-00142355v1

Ambiguous classes in μ-calculi hierarchies

André Arnold , Luigi Santocanale
Theoretical Computer Science, 2005, Foundations of Software Science and Computation Structures, 333 (1--2), pp.265-296. ⟨10.1016/j.tcs.2004.10.024⟩
Journal articles hal-01261055v1

On the equational definition of the least prefixed point

Luigi Santocanale
Theoretical Computer Science, 2003, 295 (1--3), pp.341-370. ⟨10.1016/S0304-3975(02)00412-7⟩
Journal articles hal-01261053v1

Induction, coinduction, and adjoints

Luigi Santocanale , Robin Cockett
Electronic Notes in Theoretical Computer Science, 2003, 69, pp. 1--19. ⟨10.1016/S1571-0661(04)80561-9⟩
Journal articles hal-01288863v1

The alternation hierarchy for the theory of μ-lattices

Luigi Santocanale
Theory and Applications of Categories, 2002, A special volume of articles from the CT2000 Conference, 9, pp.166--197
Journal articles hal-01261116v1

μ-Bicomplete Categories and Parity Games

Luigi Santocanale
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2002, Fixed Points in Computer Science (FICS'01), 36 (2), pp.195--227. ⟨10.1051/ita:2002010⟩
Journal articles hal-01261052v1

Free $\mu$-lattices

Luigi Santocanale
Journal of Pure and Applied Algebra, 2002, Category Theory 1999: selected papers, conference held in Coimbra in honour of the 90th birthday of Saunders Mac Lane, 168 (2--3), pp.227-264. ⟨10.1016/S0022-4049(01)00098-6⟩
Journal articles hal-01261049v1
Image document

Skew Metrics Valued in Sugihara Semigroups

Luigi Santocanale
RAMiCS 2021, Nov 2021, Marseille, France. pp.396-412, ⟨10.1007/978-3-030-88701-8_24⟩
Conference papers hal-03956706v1

Skew metrics valued in Sugihara semigroups

Luigi Santocanale
Relational and Algebraic Methods in Computer Science, Feb 2021, Marseille, France. pp.396--412
Conference papers hal-03518407v1
Image document

Dualizing sup-preserving endomaps of a complete lattice

Luigi Santocanale
Applied Category Theory Conference 2020, Jul 2020, Cambridge, United States
Conference papers hal-02901445v1
Image document

The Involutive Quantaloid of Completely Distributive Lattices

Luigi Santocanale
RAMICS 2020, Uli Fahrenberg; Peter Jipsen; Michael Winter, Apr 2020, Palaiseau, France. pp.286-301
Conference papers hal-02342655v3
Image document

Dualizing sup-preserving endomaps of a complete lattice

Luigi Santocanale
ACT 2020, Jul 2020, Cambridge, United States. pp.335-346, ⟨10.4204/EPTCS.333.23⟩
Conference papers hal-03956683v1
Image document

ON DISCRETE IDEMPOTENT PATHS

Luigi Santocanale
Words 2019, Sep 2019, Loughborough, United Kingdom. pp.312--325, ⟨10.1007/978-3-030-28796-2_25⟩
Conference papers hal-02153821v1
Image document

Ruitenburg's Theorem via Duality and Bounded Bisimulations

Luigi Santocanale , Silvio Silvio.Ghilardi@unimi.It Ghilardi
Advances in Modal Logic, Aug 2018, Bern, Switzerland
Conference papers hal-01766636v1
Image document

MIX STAR-AUTONOMOUS QUANTALES AND THE CONTINUOUS WEAK ORDER

Maria João Gouveia , Luigi Santocanale
RAMICS 2018, Oct 2018, Groningen, Netherlands. ⟨10.1007/978-3-030-02149-8_12⟩
Conference papers hal-01838560v1
Image document

The equational theory of the natural join and inner union is decidable

Luigi Santocanale
FOSSACS 2018, Apr 2018, Thessaloniki, Greece. pp.494--510, ⟨10.1007/978-3-319-89366-2_27⟩
Conference papers hal-01625134v1
Image document

$\aleph_1$ and the Modal $\mu$-Calculus

Maria Joao Gouveia , Luigi Santocanale
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden
Conference papers hal-01503091v1
Image document

Embeddability into relational lattices is undecidable ⋆

Luigi Santocanale
RAMICS 2017, May 2017, Lyon, France
Conference papers hal-01474822v1
Image document

Relational lattices via duality

Luigi Santocanale
Coalgebraic Methods in Computer Science 2016, Apr 2016, Eindhoven, Netherlands
Conference papers hal-01279408v1
Image document

Fixed-point elimination in the Intuitionistic Propositional Calculus

Silvio Silvio.Ghilardi@unimi.It Ghilardi , Maria Joao Gouveia , Luigi Http://pageperso.Lif.Univ-Mrs.Fr/~luigi.Santocanale/ Santocanale
FOSSACS 2016, Apr 2016, Eindhoven, Netherlands
Conference papers hal-01249822v1
Image document

Relational Lattices via Duality

Luigi Santocanale
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.195-215, ⟨10.1007/978-3-319-40370-0_12⟩
Conference papers hal-01446027v1

Fixed-point theory in the varieties D_n

Sabine Frittella , Luigi Santocanale
RAMICS, Apr 2014, Marienstatt im Westerwald, Germany. pp.446--462, ⟨10.1007/978-3-319-06251-8_27⟩
Conference papers hal-01260836v1

Cuts for circular proofs: semantics and cut-elimination

Luigi Http://pageperso.Lif.Univ-Mrs.Fr/~luigi.Santocanale/ Santocanale , Jérôme Fortier
Computer Science Logic 2013, Sep 2013, Torino, Italy. pp.248--262, ⟨10.4230/LIPIcs.CSL.2013.248⟩
Conference papers hal-01260986v1

Uniform interpolation for monotone modal logic

Luigi Santocanale , Yde Venema
Advances in Modal Logic, 2010, Moscow, Russia. pp.350--370
Conference papers hal-01281238v1
Image document

On the word problem for SP-categories, and the properties of two-way communication

Luigi Santocanale , Robin Cockett
CSL 2009, Sep 2009, Coimbra, Portugal. pp.194-208, ⟨10.1007/978-3-642-04027-6_16⟩
Conference papers hal-00374654v1

Y. Venema, L. Santocanale, Completeness for flat modal fixpoint logics,

Luigi Santocanale , Yde Venema
14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.499--513, ⟨10.1007/978-3-540-75560-9_36⟩
Conference papers hal-01290705v1
Image document

A Nice Labelling for Tree-Like Event Structures of Degree 3

Luigi Santocanale
CONCUR 2007, Sep 2007, Lisbon, Portugal. pp.151-165, ⟨10.1007/978-3-540-74407-8_11⟩
Conference papers hal-00142349v1
Image document

Undirected Graphs of Entanglement Two

Walid Belkhir , Luigi Santocanale
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Dec 2007, India. ⟨10.1007/978-3-540-77050-3_42⟩
Conference papers hal-00144355v2

Topological properties of event structures

Luigi Santocanale
GETCO 2006, Geometrical and Topological Methods in Concurrency, Aug 2006, Bonn, Germany. pp.149-160, ⟨10.1016/j.entcs.2009.02.023⟩
Conference papers hal-00432038v1

Completions of μ-algebras

Luigi Santocanale
20th IEEE Symposium on Logic in Computer Science, Jun 2005, Chicago, United States. pp.219--228, ⟨10.1109/LICS.2005.11⟩
Conference papers hal-01288855v1

Algebraic and model theoretic techniques for fusion decidability in modal logics

Luigi Santocanale , Silvio Silvio.Ghilardi@unimi.It Ghilardi
10th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Sep 2003, Almaty, Kazakhstan. pp.152--166, ⟨10.1007/b13986⟩
Conference papers hal-01281233v1

Ambiguous classes in the games μ-calculus hierarchy

Luigi Santocanale , André Arnold
6th International Conference on Foundations of Software Science and Computation Structures, Apr 2003, Warsaw, Poland. pp.70--86, ⟨10.1007/3-540-36576-1_5⟩
Conference papers hal-01288878v1

Logical Construction of Final Coalgebras

Luigi Santocanale
Electronic Notes in Theoretical Computer Science, 2003, Warsaw, Poland. vol 82, p. 1-20
Conference papers hal-00111230v1

From parity games to circular proofs

Luigi Santocanale
CMCS'2002, Coalgebraic Methods in Computer Science., Apr 2002, Grenoble, France. pp.1--12, ⟨10.1016/S1571-0661(04)80370-0⟩
Conference papers hal-01261240v1
Image document

Congruences of modal $\mu$-algebras

Luigi Santocanale
Fixed Points in Computer Science, Zoltan Esik, Anna Ingolfsdottir, Jul 2002, Copenhagen, Denmark. pp.77-81
Conference papers hal-03928961v1

A calculus of circular proofs and its categorical semantics

Luigi Santocanale
FOSSACS 2002, Apr 2002, Grenoble, France. pp.357--371, ⟨10.1007/3-540-45931-6_25⟩
Conference papers hal-01261170v1

On the equational definition of the least prefixed point

Luigi Santocanale
Mathematical Foundations of Computer Science 2001, Aug 2001, Marianske Lazne, Czech Republic. ⟨10.1007/3-540-44683-4_56⟩
Conference papers hal-01261158v1

Generalizations of the permutohedron

Luigi Santocanale , Friedrich Wehrung
G. Gratzer; F. Wehrung. Lattice Theory: Special Topics and Applications, Birkhäuser, pp.287--397, 2016
Book sections hal-01774635v1

Permutohedra and Associahedra

Nathalie Caspard , Luigi Santocanale , Friedrich Wehrung
Lattice Theory: Special Topics and Applications (Volume 2), Birkhäuser / Springer, pp.215--286, 2016, ⟨10.1007/978-3-319-44236-5⟩
Book sections hal-01700866v1
Image document

µ-Bicomplete Categories and Parity Games

Luigi Santocanale
[Research Report] RR-1281-02, LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2002
Reports hal-01376731v1
Image document

Structures algébriques en logique et concurrence

Luigi Santocanale
Calcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008
Habilitation à diriger des recherches tel-00369583v1