Publication:3708845
From MaRDI portal
zbMath0584.06005MaRDI QIDQ3708845
Publication date: 1985
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Lattice ideals, congruence relations (06B10) Structure theory of Boolean algebras (06E05)
Related Items
A new approach for classification of filters in residuated lattices, Extensions of fuzzy deductive systems in Hilbert algebras, On fuzzy deductive systems of Hilbert algebras, Algebraic aspects of relatively pseudocomplemented posets, Some types of filters in residuated lattices, Representation of Hilbert algebras and implicative semilattices, Unnamed Item, Hilbert algebras as implicative partial semilattices, Unnamed Item, Fuzzy deductive systems of RM algebras, Hilbert algebras of fractions, Unnamed Item, Prelinear Hilbert algebras, Variations of the free implicative semilattice extension of a Hilbert algebra, Representation and duality for Hilbert algebras, On the free frontal implicative semilattice extension of a frontal Hilbert algebra, Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic, On GE-algebras, Duality for finite Hilbert algebras, On Hilbert algebras generated by the order