On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices

DOI10.1093/JIGPAL/JZX052MaRDI QIDQ5384358zbMATH OpenOpenAlexFDO

Authors Ramon Jansana, Hernán Javier San Martín

Publication date 24 June 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1708.09490

zbMATH Keywords

categorical equivalencescongruencesdistributive latticesimplicationssemilattices

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Structure and representation theory of distributive lattices (06D05) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Abstract: Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper. A hemi-implicative semilattice is an algebra $(H,wedge,ightarrow,1)$ of type $(2,2,0)$ such that $(H,wedge)$ is a meet semilattice, $1$ is the greatest element with respect to the order, $aightarrowa=1$ for every $ainH$ and for every $a$, $b$, $cinH$, if $aleqbightarrowc$ then $awedgebleqc$. A bounded hemi-implicative semilattice is an algebra $(H,wedge,ightarrow,0,1)$ of type $(2,2,0,0)$ such that $(H,wedge,ightarrow,1)$ is a hemi-implicative semilattice and $0$ is the first element with respect to the order. A hemi-implicative lattice is an algebra $(H,wedge,vee,ightarrow,0,1)$ of type $(2,2,2,0,0)$ such that $(H,wedge,vee,0,1)$ is a bounded distributive lattice and the reduct algebra $(H,wedge,ightarrow,1)$ is a hemi-implicative semilattice. In this paper we introduce an equivalence for the categories of bounded hemi-implicative semilattices and hemi-implicative lattices, respectively, which is motivated by an old construction due J. Kalman that relates bounded distributive lattices and Kleene algebras.

Recommendations

• \(l\)-hemi-implicative semilattices
• Kleene algebras with implication
• Dually hemimorphic semi-Nelson algebras
• On congruences in weak implicative semi-lattices
• Hilbert algebras as implicative partial semilattices

Cited in

(7)

• On some categories of involutive centered residuated lattices
• \(l\)-hemi-implicative semilattices
• On relative principal congruences in term quasivarieties
• Kleene algebras with implication
• Sub-Hilbert lattices
• Hyper swap structures and Kalman functors: the case study of da Costa logic C_
• Heyting algebras with Kalman-Galois connections

This page was built for publication: On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5384358)