scientific article; zbMATH DE number 1374605

MaRDI QIDQ3836005zbMATH OpenFDO

Authors Young Bae Jun, Wenping Huang

Publication date 6 December 1999

zbMATH Keywords

Boolean algebraHeyting algebrapositive implicative BCK-algebraBCK-algebra with condition \((S)\)

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) BCK-algebras, BCI-algebras (06F35) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• On Heyting algebras and dual BCK-algebras
• Relation between dual S-algebras and BE-algebras
• scientific article; zbMATH DE number 1309102
• Publication:4489065

Cited in

(11)

• Subalgebras of Heyting and De Morgan Heyting algebras
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• On Brouwer-Heyting lattices
• The algebraic counterpart of a symbolic logic of problem solving
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• Boolean atoms of Heyting algebras and their application
• Heyting algebras with dual pseudocomplementation
• On Heyting algebras and dual BCK-algebras
• Relation between dual S-algebras and BE-algebras
• Bidimensional Brouwerian algebras
• scientific article; zbMATH DE number 203219 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3836005)