Hilbert algebras as implicative partial semilattices

DOI10.2478/s11533-007-0008-2zbMath1125.03047MaRDI 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

filter; Hilbert algebra; compatible elements; implicative semilattice; compatible meet operation; partial semilattice

Mathematics Subject Classification ID

03G25: Other algebras related to logic

06A12: Semilattices

Related Items

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

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