10 citations · 13 across the 6 of their papers we have counts for
6 papers
Priestley-style duality for filter-distributive congruential logics
María Esteban, Ramon Jansana
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorem…
The poset of all logics II: Leibniz classes and hierarchy
R. Jansana, T. Moraschini
A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete…
The Poset of All Logics I: Interpretations and Lattice Structure
R. Jansana, T. Moraschini
A notion of interpretation between arbitrary logics is introduced, and the poset Log of all logics ordered under interpretability is studied. It is shown that in Log infima of arbi…
On the free frontal implicative semilattice extension of a frontal Hilbert algebra
Ramon Jansana, Hernan Javier San Martin
In this paper we define a functor from the algebraic category of frontal Hilbert algebras to the algebraic category of frontal implicative semilattices which is left adjoint to the…
On principal congruences in distributive lattices with a commutative monoidal operation and an implication
Ramon Jansana, Hernan Javier San Martin
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is…
On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices
Ramon Jansana, Hernán Javier San Martín
Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper.…