scientific article; zbMATH DE number 3583816

zbMath0375.02053MaRDI QIDQ4154868

H.Yutani

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

On the quasivariety of BCK-algebras and its subvarieties ⋮ Spectral properties of cBCK-algebras ⋮ Permutable groupoids ⋮ An intriguing logic with two implicational connectives ⋮ On \(Q\)-upper algebras ⋮ On Traczyk's BCK-sequences ⋮ Finitely axiomatizable varieties of BCK-algebras

This page was built for publication: