3 citations · 3 across the 2 of their papers we have counts for
4 papers · 1 filter
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.…