Hilbert algebras as implicative partial semilattices

DOI10.2478/s11533-007-0008-2zbMath1125.03047OpenAlexW2170831620MaRDI QIDQ2454702

Jānis Cīrulis

Publication date: 16 October 2007

Published in: Central European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/s11533-007-0008-2

zbMATH Keywords

filterHilbert algebracompatible elementsimplicative semilatticecompatible meet operationpartial semilattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Semilattices (06A12)

Related Items (9)

\(L\)-algebras and three main non-classical logics ⋮ Algebraic aspects of relatively pseudocomplemented posets ⋮ Unnamed Item ⋮ Relatively pseudocomplemented Hilbert algebras ⋮ SEMIDIRECT PRODUCTS IN ALGEBRAIC LOGIC AND SOLUTIONS OF THE QUANTUM YANG–BAXTER EQUATION ⋮ Unnamed Item ⋮ Lattice of closure endomorphisms of a Hilbert algebra ⋮ Quasi-decompositions and quasidirect products of Hilbert algebras ⋮ Congruences and Closure Endomorphisms of Hilbert Algebras

Cites Work

• An algebraic approach to non-classical logics
• The lattice of deductive systems on Hilbert algebras
• A note on implicative models
• Compatible elements in implicative models
• On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras
• AN ALGEBRAIC APPROACH TO PARTIAL LATTICES
• ORDER ALGEBRAS
• Remarks on commutative Hilbert algebras
• The separation theorem of intuitionist propositional calculus
• An algebraic characterization of quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hilbert algebras as implicative partial semilattices