On the free frontal implicative semilattice extension of a frontal Hilbert algebra

DOI10.1007/S00500-019-03995-4zbMath1436.03322arXiv1811.03698OpenAlexW2963204799MaRDI QIDQ780095

Ramon Jansana, Hernán Javier San Martín

Publication date: 15 July 2020

Published in: Soft Computing (Search for Journal in Brave)

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

zbMATH Keywords

Hilbert algebrasmodal operatorsimplicative semilattices

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Other algebras related to logic (03G25) Preorders, orders, domains and lattices (viewed as categories) (18B35) Semilattices (06A12)

Related Items (1)

On prelinear Hilbert algebras with successor

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• On some new intuitionistic propositional connectives. I
• A note on homomorphisms of Hilbert algebras
• On some classes of Heyting algebras with successor that have the amalgamation property
• \(\Delta_1\)-completions of a poset.
• Variations of the free implicative semilattice extension of a Hilbert algebra
• Completely distributive completions of posets
• Varieties of implicative semilattices
• Varieties of implicative semi-lattices. II
• On the free implicative semilattice extension of a Hilbert algebra
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• Brouwerian Semilattices
• An algebraic approach to intuitionistic connectives
• On frontal operators in Hilbert algebras
• Implicative Semi-Lattices
• The separation theorem of intuitionist propositional calculus

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