scientific article; zbMATH DE number 3583816

MaRDI QIDQ4154868zbMATH OpenFDO

Authors Hiroshi Yutani

Publication date 1977

Mathematics Subject Classification ID

Classical propositional logic (03B05) Ordered rings, algebras, modules (06F25) Structure theory of algebraic structures (08A05) Other algebras related to logic (03G25) Topological and differentiable algebraic systems (22A99) Varieties (08B99)

Cited in

(8)

• Permutable groupoids
• Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra
• On \(Q\)-upper algebras
• On Traczyk's BCK-sequences
• On the quasivariety of BCK-algebras and its subvarieties
• An intriguing logic with two implicational connectives
• Spectral properties of cBCK-algebras
• Finitely axiomatizable varieties of BCK-algebras

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 Q4154868)