On the free implicative semilattice extension of a Hilbert algebra

DOI10.1002/malq.201020098zbMath1247.03136OpenAlexW2015741795MaRDI QIDQ2888632

Ramon Jansana, Sergio Arturo Celani

Publication date: 1 June 2012

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201020098

zbMATH Keywords

free extensionsHilbert algebrasimplicative semilattices

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

Related Items (10)

Algebraic aspects of relatively pseudocomplemented posets ⋮ Fragments of quasi-Nelson: residuation ⋮ The Belluce-lattice associated with a bounded Hilbert algebra ⋮ Lattice of closure endomorphisms of a Hilbert algebra ⋮ Prelinear Hilbert algebras ⋮ On prelinear Hilbert algebras with successor ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ Variations of the free implicative semilattice extension of a Hilbert algebra ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Priestley style duality for distributive meet-semilattices
• An algebraic approach to non-classical logics
• Representation of Hilbert algebras and implicative semilattices
• A note on homomorphisms of Hilbert algebras
• Esakia style duality for implicative semilattices
• Some properties of epimorphisms of Hilbert algebras
• Brouwerian Semilattices
• Implicative Semi-Lattices
• Ideals in Partially Ordered Sets

This page was built for publication: On the free implicative semilattice extension of a Hilbert algebra