Variations of the free implicative semilattice extension of a Hilbert algebra

DOI10.1007/S00500-018-3426-0MaRDI QIDQ2318265zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 14 August 2019

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1807.02423, http://hdl.handle.net/11336/94687

zbMATH Keywords

free algebrasHilbert algebrasimplicative semilattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Semilattices (06A12) Heyting algebras (lattice-theoretic aspects) (06D20)

Abstract: In [{it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtained between the algebraic categories of Hilbert algebras with supremum and that of generalized Heyting algebras. Finally, in last section we describe a functor from the algebraic category of Hilbert algebras to that of generalized Heyting algebras, of possible independent interest.

Recommendations

• On the free implicative semilattice extension of a Hilbert algebra
• Some properties of epimorphisms of Hilbert algebras
• Adjoint semilattice and minimal Brouwerian extensions of a Hilbert algebra
• On prelinear Hilbert algebras with successor
• scientific article; zbMATH DE number 3928995

Cites work

• _1-completions of a poset.
• A logical and algebraic characterization of adjunctions between generalized quasi-varieties
• A note on homomorphisms of Hilbert algebras
• An algebraic approach to non-classical logics
• Canonical extensions for congruential logics with the deduction theorem
• Hilbert algebras with supremum
• scientific article; zbMATH DE number 2185244 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3935100 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• Implicative Semi-Lattices
• On the free implicative semilattice extension of a Hilbert algebra
• Representation and duality for Hilbert algebras
• Some latticial properties of Hilbert algebras
• The separation theorem of intuitionist propositional calculus

Cited in

(8)

• Prelinear Hilbert algebras
• On prelinear Hilbert algebras with successor
• Adjoint semilattice and minimal Brouwerian extensions of a Hilbert algebra
• On the free implicative semilattice extension of a Hilbert algebra
• Free finitely generated linear Hilbert algebras with supremum
• Sub-Hilbert lattices
• On the free frontal implicative semilattice extension of a frontal Hilbert algebra
• Free Łukasiewicz implication algebras

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

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