Dual characterizations for finite lattices via correspondence theory for monotone modal logic
S Frittella, A Palmigiano… - Journal of Logic and …, 2017 - academic.oup.com
We establish a formal connection between algorithmic correspondence theory and certain
dual characterization results for finite lattices, similar to Nation's characterization of a …
dual characterization results for finite lattices, similar to Nation's characterization of a …
Fixed-point elimination in the intuitionistic propositional calculus
S Ghilardi, MJ Gouveia, L Santocanale - International Conference on …, 2016 - Springer
It is a consequence of existing literature that least and greatest fixed-points of monotone
polynomials on Heyting algebras—that is, the algebraic models of the Intuitionistic …
polynomials on Heyting algebras—that is, the algebraic models of the Intuitionistic …
Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond
S Ghilardi, L Santocanale - Mathematical Structures in Computer …, 2020 - cambridge.org
Ruitenburg's Theorem says that every endomorphism f of a finitely generated free Heyting
algebra is ultimately periodic if f fixes all the generators but one. More precisely, there is N≥ …
algebra is ultimately periodic if f fixes all the generators but one. More precisely, there is N≥ …
[HTML][HTML] Relational lattices: From databases to universal algebra
Relational lattices are obtained by interpreting lattice connectives as natural join and inner
union between database relations. Our study of their equational theory reveals that the …
union between database relations. Our study of their equational theory reveals that the …
Fixed-point elimination in the intuitionistic propositional calculus
S Ghilardi, MJ Gouveia, L Santocanale - ACM Transactions on …, 2019 - dl.acm.org
It follows from known results in the literature that least and greatest fixed-points of monotone
polynomials on Heyting algebras—that is, the algebraic models of the Intuitionistic …
polynomials on Heyting algebras—that is, the algebraic models of the Intuitionistic …
Relational lattices
Relational lattices are obtained by interpreting lattice connectives as natural join and inner
union between database relations. Our study of their equational theory reveals that the …
union between database relations. Our study of their equational theory reveals that the …
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)
S Ghilardi, MJ Gouveia, L Santocanale - arXiv preprint arXiv:1803.01552, 2018 - arxiv.org
It is a consequence of existing literature that least and greatest fixed-points of monotone
polynomials on Heyting algebras-that is, the alge-braic models of the Intuitionistic …
polynomials on Heyting algebras-that is, the alge-braic models of the Intuitionistic …
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)
S Silvio, MJ Gouveia, L Santocanale - ACM Transactions on …, 2019 - hal.science
It is a consequence of existing literature that least and greatest fixed-points of monotone
polynomials on Heyting algebras—that is, the alge-braic models of the Intuitionistic …
polynomials on Heyting algebras—that is, the alge-braic models of the Intuitionistic …