Luigi Santocanale

According to our database, Luigi Santocanale authored at least 57 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Lifting Star-Autonomy.

Cédric de Lacroix, Gregory Chichery, Luigi Santocanale

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

Complete Congruences of Completely Distributive Lattices.

Cameron Calk, Luigi Santocanale

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Lifting star-autonomous structures.

Luigi Santocanale, Cédric de Lacroix, Gregory Chichery

CoRR, 2023

Unitless Frobenius Quantales.

Cédric de Lacroix, Luigi Santocanale

Appl. Categorical Struct., 2023

Frobenius Structures in Star-Autonomous Categories.

Cédric de Lacroix, Luigi Santocanale

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2021

Skew Metrics Valued in Sugihara Semigroups.

Luigi Santocanale

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Fixed-point Elimination in the Intuitionistic Propositional Calculus.

Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale

ACM Trans. Comput. Log., 2020

Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond.

Silvio Ghilardi, Luigi Santocanale

Math. Struct. Comput. Sci., 2020

Dualizing sup-preserving endomaps of a complete lattice.

Luigi Santocanale

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Bijective proofs for Eulerian numbers in types B and D.

Luigi Santocanale

Proceedings of the First International Conference "Algebras, graphs and ordered sets", 2020

The Involutive Quantaloid of Completely Distributive Lattices.

Luigi Santocanale

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

ℵ₁ and the modal μ-calculus.

Maria João Gouveia, Luigi Santocanale

Log. Methods Comput. Sci., 2019

On Discrete Idempotent Paths.

Luigi Santocanale

Proceedings of the Combinatorics on Words - 12th International Conference, 2019

2018

Embeddability into relational lattices is undecidable.

Luigi Santocanale

J. Log. Algebraic Methods Program., 2018

The continuous weak order.

Maria João Gouveia, Luigi Santocanale

CoRR, 2018

Mix ⋆-autonomous quantales and the continuous weak order.

Maria João Gouveia, Luigi Santocanale

CoRR, 2018

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

Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale

CoRR, 2018

The Equational Theory of the Natural Join and Inner Union is Decidable.

Luigi Santocanale

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Ruitenburg's Theorem via Duality and Bounded Bisimulations.

Silvio Ghilardi, Luigi Santocanale

Proceedings of the Advances in Modal Logic 12, 2018

MIX \star -Autonomous Quantales and the Continuous Weak Order.

Maria João Gouveia, Luigi Santocanale

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

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

Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale

J. Log. Comput., 2017

Aleph1 and the Modal mu-Calculus.

Maria João Gouveia, Luigi Santocanale

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

The Quasiequational theory of relational lattices, in the pure latice theory.

Luigi Santocanale

CoRR, 2016

Relational Lattices via Duality.

Luigi Santocanale

Proceedings of the Coalgebraic Methods in Computer Science, 2016

2014

Lattices of regular closed subsets of closure spaces.

Luigi Santocanale, Friedrich Wehrung

Int. J. Algebra Comput., 2014

The extended permutohedron on a transitive binary relation.

Luigi Santocanale, Friedrich Wehrung

Eur. J. Comb., 2014

Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$.

Sabine Frittella, Luigi Santocanale

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Varieties of Lattices with Geometric Descriptions.

Luigi Santocanale, Friedrich Wehrung

Order, 2013

Sublattices of associahedra and permutohedra.

Luigi Santocanale, Friedrich Wehrung

Adv. Appl. Math., 2013

Cuts for circular proofs.

Jérôme Fortier, Luigi Santocanale

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Cuts for circular proofs: semantics and cut-elimination.

Jérôme Fortier, Luigi Santocanale

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2010

A nice labelling for tree-like event structures of degree 3.

Luigi Santocanale

Inf. Comput., 2010

Completeness for flat modal fixpoint logics.

Luigi Santocanale, Yde Venema

Ann. Pure Appl. Log., 2010

The variable hierarchy for the games µ-calculus.

Walid Belkhir, Luigi Santocanale

Ann. Pure Appl. Log., 2010

Uniform Interpolation for Monotone Modal Logic.

Luigi Santocanale, Yde Venema

Proceedings of the Advances in Modal Logic 8, 2010

2009

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

Luigi Santocanale, J. Robin B. Cockett

CoRR, 2009

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

Luigi Santocanale

CoRR, 2009

On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication.

J. Robin B. Cockett, Luigi Santocanale

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Completions of µ-algebras.

Luigi Santocanale

Ann. Pure Appl. Log., 2008

The Variable Hierarchy for the Lattice µ-Calculus.

Walid Belkhir, Luigi Santocanale

Proceedings of the Logic for Programming, 2008

Structures algébriques en logique et concurrence.

Luigi Santocanale

, 2008

2007

On the Join Dependency Relation in Multinomial Lattices.

Luigi Santocanale

Order, 2007

The Variable Hierarchy for the Games mu-Calculus

Walid Belkhir, Luigi Santocanale

CoRR, 2007

Undirected Graphs of Entanglement Two

Walid Belkhir, Luigi Santocanale

CoRR, 2007

Undirected Graphs of Entanglement 2.

Walid Belkhir, Luigi Santocanale

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

Topological Properties of Event Structures.

Luigi Santocanale

Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, 2006

2005

Ambiguous classes in mu-calculi hierarchies.

Luigi Santocanale, André Arnold

Theor. Comput. Sci., 2005

2003

On the equational definition of the least prefixed point.

Luigi Santocanale

Theor. Comput. Sci., 2003

Logical Construction of Final Coalgebras.

Luigi Santocanale

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics.

Silvio Ghilardi, Luigi Santocanale

Proceedings of the Logic for Programming, 2003

Ambiguous Classes in the Games µ-Calculus Hierarchy.

André Arnold, Luigi Santocanale

Proceedings of the Foundations of Software Science and Computational Structures, 2003

On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages.

André Arnold, Luigi Santocanale

Proceedings of the FICS '03, 2003

2002

µ-Bicomplete Categories and Parity Games.

Luigi Santocanale

RAIRO Theor. Informatics Appl., 2002

From Parity Games to Circular Proofs.

Luigi Santocanale

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Induction, Coinduction, and Adjoints.

J. Robin B. Cockett, Luigi Santocanale

Proceedings of the Category Theory and Computer Science, 2002

A Calculus of Circular Proofs and Its Categorical Semantics.

Luigi Santocanale

Proceedings of the Foundations of Software Science and Computation Structures, 2002

Congruences of modal µ-algebras.

Luigi Santocanale

Proceedings of the Fixed Points in Computer Science, 2002