Luigi Santocanale

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 38

Top Topics

Propositional Calculus

Databases And Data Warehouses

Top Venues

Publications

Cédric de Lacroix, Gregory Chichery, Luigi Santocanale
Lifting Star-Autonomy. RAMiCS (2024)
Cameron Calk, Luigi Santocanale
Complete Congruences of Completely Distributive Lattices. RAMiCS (2024)
Luigi Santocanale, Cédric de Lacroix, Gregory Chichery
Lifting star-autonomous structures. CoRR (2023)
Cédric de Lacroix, Luigi Santocanale
Frobenius Structures in Star-Autonomous Categories. CSL (2023)
Cédric de Lacroix, Luigi Santocanale
Unitless Frobenius Quantales. Appl. Categorical Struct. 31 (1) (2023)
Luigi Santocanale, Cédric de Lacroix
Frobenius structures in star-autonomous categories. CoRR (2022)
Cédric de Lacroix, Luigi Santocanale
Unitless Frobenius quantales. CoRR (2022)
Luigi Santocanale
Skew Metrics Valued in Sugihara Semigroups. RAMiCS (2021)
Luigi Santocanale
Bijective proofs for Eulerian numbers in types B and D. CoRR (2021)
Luigi Santocanale
Dualizing sup-preserving endomaps of a complete lattice. ACT (2020)
Luigi Santocanale
The Involutive Quantaloid of Completely Distributive Lattices. RAMiCS (2020)
Luigi Santocanale
Bijective proofs for Eulerian numbers in types B and D. ALGOS (2020)
Silvio Ghilardi, Luigi Santocanale
Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. Math. Struct. Comput. Sci. 30 (6) (2020)
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
Fixed-point Elimination in the Intuitionistic Propositional Calculus. ACM Trans. Comput. Log. 21 (1) (2020)
Luigi Santocanale
The Involutive Quantaloid of Completely Distributive Lattices. CoRR (2019)
Silvio Ghilardi, Luigi Santocanale
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond. CoRR (2019)
Maria João Gouveia, Luigi Santocanale
and the modal μ-calculus. Log. Methods Comput. Sci. 15 (4) (2019)
Luigi Santocanale
On Discrete Idempotent Paths. WORDS (2019)
Luigi Santocanale
On discrete idempotent paths. CoRR (2019)
Silvio Ghilardi, Luigi Santocanale
Ruitenburg's Theorem via Duality and Bounded Bisimulations. Advances in Modal Logic (2018)
Luigi Santocanale, Silvio Ghilardi
Ruitenburg's Theorem via Duality and Bounded Bisimulations. CoRR (2018)
Luigi Santocanale
The Equational Theory of the Natural Join and Inner Union is Decidable. FoSSaCS (2018)
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). CoRR (2018)
Maria João Gouveia, Luigi Santocanale
Mix ⋆-autonomous quantales and the continuous weak order. CoRR (2018)
Maria João Gouveia, Luigi Santocanale
The continuous weak order. CoRR (2018)
Maria João Gouveia, Luigi Santocanale
MIX \star -Autonomous Quantales and the Continuous Weak Order. RAMiCS (2018)
Luigi Santocanale
Embeddability into relational lattices is undecidable. J. Log. Algebraic Methods Program. 97 (2018)
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. 27 (3) (2017)
Luigi Santocanale
The equational theory of the natural join and inner union is decidable. CoRR (2017)
Maria João Gouveia, Luigi Santocanale
and the Modal μ-Calculus. CoRR (2017)
Maria João Gouveia, Luigi Santocanale
Aleph1 and the Modal mu-Calculus. CSL (2017)
Luigi Santocanale
Embeddability into Relational Lattices Is Undecidable. RAMiCS (2017)
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
Fixed-point elimination in the intuitionistic propositional calculus. CoRR (2016)
Luigi Santocanale
μ-Bicomplete Categories and Parity Games. CoRR (2016)
Luigi Santocanale
Relational lattices via duality. CoRR (2016)
Luigi Santocanale
Relational Lattices via Duality. CMCS (2016)
Luigi Santocanale
The Quasiequational theory of relational lattices, in the pure latice theory. CoRR (2016)
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
Fixed-Point Elimination in the Intuitionistic Propositional Calculus. FoSSaCS (2016)
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. CoRR (2014)
Sabine Frittella, Luigi Santocanale
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. RAMiCS (2014)
Luigi Santocanale, Friedrich Wehrung
Lattices of regular closed subsets of closure spaces. Int. J. Algebra Comput. 24 (7) (2014)
Luigi Santocanale, Friedrich Wehrung
The extended permutohedron on a transitive binary relation. Eur. J. Comb. 42 (2014)
Jérôme Fortier, Luigi Santocanale
Cuts for circular proofs: semantics and cut-elimination. CSL (2013)
Luigi Santocanale, Friedrich Wehrung
Sublattices of associahedra and permutohedra. Adv. Appl. Math. 51 (3) (2013)
Jérôme Fortier, Luigi Santocanale
Cuts for circular proofs. TACL (2013)
Luigi Santocanale, Friedrich Wehrung
Varieties of Lattices with Geometric Descriptions. Order 30 (1) (2013)
Luigi Santocanale, Yde Venema
Completeness for flat modal fixpoint logics. Ann. Pure Appl. Log. 162 (1) (2010)
Luigi Santocanale, Yde Venema
Uniform Interpolation for Monotone Modal Logic. Advances in Modal Logic (2010)
Luigi Santocanale
A nice labelling for tree-like event structures of degree 3. Inf. Comput. 208 (6) (2010)
Walid Belkhir, Luigi Santocanale
The variable hierarchy for the games µ-calculus. Ann. Pure Appl. Log. 161 (5) (2010)
Luigi Santocanale, J. Robin B. Cockett
On the word problem for SP-categories, and the properties of two-way communication CoRR (2009)
J. Robin B. Cockett, Luigi Santocanale
On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. CSL (2009)
Luigi Santocanale
Topological Properties of Event Structures. Electron. Notes Theor. Comput. Sci. 230 (2009)
Luigi Santocanale
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version) CoRR (2009)
Luigi Santocanale, Yde Venema
Completeness for Flat Modal Fixpoint Logics CoRR (2008)
Walid Belkhir, Luigi Santocanale
The Variable Hierarchy for the Lattice µ-Calculus. LPAR (2008)
Luigi Santocanale
Completions of µ-algebras. Ann. Pure Appl. Log. 154 (1) (2008)
Walid Belkhir, Luigi Santocanale
Undirected Graphs of Entanglement 2. FSTTCS (2007)
Luigi Santocanale
A Nice Labelling for Tree-Like Event Structures of Degree 3. CONCUR (2007)
Walid Belkhir, Luigi Santocanale
The Variable Hierarchy for the Games mu-Calculus CoRR (2007)
Luigi Santocanale
On the Join Dependency Relation in Multinomial Lattices. Order 24 (3) (2007)
Walid Belkhir, Luigi Santocanale
Undirected Graphs of Entanglement Two CoRR (2007)
Luigi Santocanale, Yde Venema
Completeness for Flat Modal Fixpoint Logics. LPAR (2007)
Luigi Santocanale
A Nice Labelling for Tree-Like Event Structures of Degree 3 CoRR (2007)
Luigi Santocanale
Completions of µ-algebras. LICS (2005)
Luigi Santocanale, André Arnold
Ambiguous classes in mu-calculi hierarchies. Theor. Comput. Sci. 333 (1-2) (2005)
Luigi Santocanale
Logical Construction of Final Coalgebras. CMCS (2003)
André Arnold, Luigi Santocanale
On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages. FICS (2003)
Luigi Santocanale
On the equational definition of the least prefixed point. Theor. Comput. Sci. 295 (2003)
André Arnold, Luigi Santocanale
Ambiguous Classes in the Games µ-Calculus Hierarchy. FoSSaCS (2003)
Silvio Ghilardi, Luigi Santocanale
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. LPAR (2003)
Luigi Santocanale
Congruences of modal µ-algebras. FICS (2002)
Luigi Santocanale
µ-Bicomplete Categories and Parity Games. RAIRO Theor. Informatics Appl. 36 (2) (2002)
J. Robin B. Cockett, Luigi Santocanale
Induction, Coinduction, and Adjoints. CTCS (2002)
Luigi Santocanale
From Parity Games to Circular Proofs. CMCS (2002)
Luigi Santocanale
A Calculus of Circular Proofs and Its Categorical Semantics. FoSSaCS (2002)
Luigi Santocanale
On the Equational Definition of the Least Prefixed Point. MFCS (2001)