Publication:3708845

zbMath0584.06005MaRDI QIDQ3708845

Dumitru Buşneag

Publication date: 1985

zbMATH Keywords

deductive systems; finite Boolean algebra; bounded Hilbert algebra; implication filter

Mathematics Subject Classification ID

06D20: Heyting algebras (lattice-theoretic aspects)

03G25: Other algebras related to logic

06B10: Lattice ideals, congruence relations

06E05: Structure theory of Boolean algebras

Related Items

Unnamed Item, Unnamed Item, On GE-algebras, Fuzzy deductive systems of RM algebras, A new approach for classification of filters in residuated lattices, 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, Some types of filters in residuated lattices, Hilbert algebras of fractions, Representation and duality for Hilbert algebras, Extensions of fuzzy deductive systems in Hilbert algebras, Representation of Hilbert algebras and implicative semilattices, Prelinear Hilbert algebras, On Hilbert algebras generated by the order, Algebraic aspects of relatively pseudocomplemented posets, Variations of the free implicative semilattice extension of a Hilbert algebra, Hilbert algebras as implicative partial semilattices, Duality for finite Hilbert algebras, On fuzzy deductive systems of Hilbert algebras