Luigi Santocanale

64
Documents

Présentation

Publications

5
5
5
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
7
5
5
3
3
2
2
2
2
1
1
1
1
1
1
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
3
2
4
6
2
6
3
3
5
4
1
5
2
5
7
1
32
9
6
5
4
2
2
1
1
1
1
10
4
4
1

Publications

Deposit thumbnail

Bijective proofs for Eulerian numbers of types B and D

Luigi Santocanale

Discrete Mathematics and Theoretical Computer Science, 2023

Article dans une revue hal-03204493v4
Deposit thumbnail

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, In press, 21 (1), pp.1--37. ⟨10.1145/3359669⟩

Article dans une revue hal-01716485v1
Deposit thumbnail

Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond

Silvio Silvio.Ghilardi@unimi.It Ghilardi , Luigi Santocanale

Mathematical Structures in Computer Science, In press

Article dans une revue hal-01969235v1
Deposit thumbnail

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⟩

Article dans une revue hal-01344299v3
Deposit thumbnail

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⟩

Article dans une revue hal-00986148v2
Deposit thumbnail

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⟩

Article dans une revue hal-01054715v1
Deposit thumbnail

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⟩

Article dans une revue hal-00750265v3
Deposit thumbnail

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⟩

Article dans une revue hal-00836420v2
Deposit thumbnail

Varieties of lattices with geometric descriptions

Luigi Santocanale , Friedrich Wehrung

Order, 2013, 30 (1), pp.13--38. ⟨10.1007/s11083-011-9225-1⟩

Article dans une revue hal-00564024v2
Deposit thumbnail

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⟩

Article dans une revue hal-00577258v4
Deposit thumbnail

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⟩

Article dans une revue hal-00369451v1
Deposit thumbnail

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⟩

Article dans une revue hal-00178806v2
Deposit thumbnail

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⟩

Article dans une revue hal-00346782v1
Deposit thumbnail

Derived Semidistributive Lattices

Luigi Santocanale

Algebra Universalis, 2010, 63 (2), pp.101--130. ⟨10.1007/s00012-010-0073-4⟩

Article dans une revue 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⟩

Article dans une revue hal-01261062v1

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⟩

Article dans une revue hal-00142355v1

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⟩

Article dans une revue hal-00142353v1

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⟩

Article dans une revue 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⟩

Article dans une revue istex 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⟩

Article dans une revue hal-01288863v1

μ-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⟩

Article dans une revue istex hal-01261052v1

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

Article dans une revue hal-01261116v1

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⟩

Article dans une revue hal-01261049v1
Deposit thumbnail

Complete Congruences of Completely Distributive Lattices

Cameron Calk , Luigi Santocanale

Relational and Algebraic Methods in Computer Science (LNCS), Aug 2024, Cracovie, Poland. pp.101-118, ⟨10.1007/978-3-031-68279-7_7⟩

Communication dans un congrès hal-05450869v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03956706v1

Skew metrics valued in Sugihara semigroups

Luigi Santocanale

Relational and Algebraic Methods in Computer Science, Feb 2021, Marseille, France. pp.396--412

Communication dans un congrès hal-03518407v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03956683v1
Deposit thumbnail

Dualizing sup-preserving endomaps of a complete lattice

Luigi Santocanale

Applied Category Theory Conference 2020, Jul 2020, Cambridge, United States

Communication dans un congrès hal-02901445v1
Deposit thumbnail

The Involutive Quantaloid of Completely Distributive Lattices

Luigi Santocanale

RAMICS 2020, Uli Fahrenberg; Peter Jipsen; Michael Winter, Apr 2020, Palaiseau, France. pp.286-301

Communication dans un congrès hal-02342655v3
Deposit thumbnail

ON DISCRETE IDEMPOTENT PATHS

Luigi Santocanale

Words 2019, Sep 2019, Loughborough, United Kingdom. pp.312--325, ⟨10.1007/978-3-030-28796-2_25⟩

Communication dans un congrès hal-02153821v1
Deposit thumbnail

Ruitenburg's Theorem via Duality and Bounded Bisimulations

Luigi Santocanale , Silvio Silvio.Ghilardi@unimi.It Ghilardi

Advances in Modal Logic, Aug 2018, Bern, Switzerland

Communication dans un congrès hal-01766636v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01838560v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01625134v1
Deposit thumbnail

$\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

Communication dans un congrès hal-01503091v1
Deposit thumbnail

Embeddability into relational lattices is undecidable ⋆

Luigi Santocanale

RAMICS 2017, May 2017, Lyon, France

Communication dans un congrès hal-01474822v1
Deposit thumbnail

Relational lattices via duality

Luigi Santocanale

Coalgebraic Methods in Computer Science 2016, Apr 2016, Eindhoven, Netherlands

Communication dans un congrès hal-01279408v1
Deposit thumbnail

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

Communication dans un congrès hal-01249822v1
Deposit thumbnail

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-01260986v1

Uniform interpolation for monotone modal logic

Luigi Santocanale , Yde Venema

Advances in Modal Logic, 2010, Moscow, Russia. pp.350--370

Communication dans un congrès hal-01281238v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00374654v1

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⟩

Communication dans un congrès hal-00432038v1

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⟩

Communication dans un congrès hal-01290705v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00142349v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00144355v2

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⟩

Communication dans un congrès hal-01288855v1

Logical Construction of Final Coalgebras

Luigi Santocanale

Electronic Notes in Theoretical Computer Science, 2003, Warsaw, Poland. vol 82, p. 1-20

Communication dans un congrès hal-00111230v1

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⟩

Communication dans un congrès hal-01288878v1

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⟩

Communication dans un congrès hal-01281233v1

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⟩

Communication dans un congrès hal-01261240v1

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⟩

Communication dans un congrès istex hal-01261170v1
Deposit thumbnail

Congruences of modal $\mu$-algebras

Luigi Santocanale

Fixed Points in Computer Science, Zoltan Esik, Anna Ingolfsdottir, Jul 2002, Copenhagen, Denmark. pp.77-81

Communication dans un congrès hal-03928961v1

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⟩

Communication dans un congrès istex 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

Chapitre d'ouvrage 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⟩

Chapitre d'ouvrage hal-01700866v1
Deposit thumbnail

µ-Bicomplete Categories and Parity Games

Luigi Santocanale

[Research Report] RR-1281-02, LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2002

Rapport (rapport de recherche) hal-01376731v1
Deposit thumbnail

Structures algébriques en logique et concurrence

Luigi Santocanale

Calcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008

HDR tel-00369583v1