Cornish, William H. A minimal equational base for commutative BCK-algebras. (English) Zbl 0524.03054 Math. Semin. Notes, Kobe Univ. 10, 251-259 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 1 Document MSC: 03G25 Other algebras related to logic 20L05 Groupoids (i.e. small categories in which all morphisms are isomorphisms) 08B99 Varieties 06D99 Distributive lattices 06A12 Semilattices Keywords:variety of commutative BCK-algebras; variety of groupoids; definitional equivalence Citations:Zbl 0486.03033; Zbl 0385.03051; Zbl 0444.03035; Zbl 0454.08004; Zbl 0116.004; Zbl 0304.08003; Zbl 0422.03038; Zbl 0357.02058 × Cite Format Result Cite Review PDF