Publication:2847082
From MaRDI portal
zbMath1280.03063MaRDI QIDQ2847082
Publication date: 4 September 2013
Full work available at URL: http://dml.cz/handle/10338.dmlcz/143066?show=full
lattice of ideals; Hilbert algebra; implicative semilattice; subtraction; lattice of filters; compatible meet; adjoint semilattice; Brouwerian extension; closure endomorphism; finitely generated filters
03G25: Other algebras related to logic
06A12: Semilattices
08A35: Automorphisms and endomorphisms of algebraic structures
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items
Lattice of closure endomorphisms of a Hilbert algebra, Unnamed Item, Algebraic aspects of relatively pseudocomplemented posets
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the adjoint semigroups of \(p\)-separable BCI-algebras
- Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup
- Hilbert algebras as implicative partial semilattices
- Compatible elements in implicative models
- Adjoint semigroups of BCI-algebras
- The separation theorem of intuitionist propositional calculus
- An algebraic characterization of quantifiers