Hilbert algebras as implicative partial semilattices
From MaRDI portal
Publication:2454702
DOI10.2478/s11533-007-0008-2zbMath1125.03047MaRDI QIDQ2454702
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
filter; Hilbert algebra; compatible elements; implicative semilattice; compatible meet operation; partial semilattice
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