Cornish, William H. Varieties generated by finite BCK-algebras. (English) Zbl 0439.08007 Bull. Aust. Math. Soc. 22, 411-430 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 7 Documents MSC: 08B10 Congruence modularity, congruence distributivity 08B05 Equational logic, Mal’tsev conditions 08C15 Quasivarieties 08A30 Subalgebras, congruence relations 03G25 Other algebras related to logic Keywords:finite BCK-algebra; variety of BCK-algebras; commutative BCK-algebras; subdirectly irreducible commutative BCK-algebra Citations:Zbl 0363.02015 PDF BibTeX XML Cite \textit{W. H. Cornish}, Bull. Aust. Math. Soc. 22, 411--430 (1980; Zbl 0439.08007) Full Text: DOI OpenURL References: [1] DOI: 10.2307/2039097 · Zbl 0277.08002 [2] Setō, Math. Sem. Notes Kobe Univ. 5 pp 397– (1977) [3] DOI: 10.1007/BF02945100 · Zbl 0273.08001 [4] Fried, Acta Sci. Math. 40 pp 261– (1978) [5] DOI: 10.2307/2037345 · Zbl 0241.08004 [6] DOI: 10.1007/BF01110374 · Zbl 0121.26505 [7] Quackenbush, Universal algebra pp 401– (1979) [8] DOI: 10.1007/BF02944983 · Zbl 0228.08001 [9] Cornish, Math. Sem. Notes Kobe Univ. [10] Cornish, Math. [11] Cornish, Math. Sem. Notes Kobe Univ. 8 pp 157– (1980) [12] DOI: 10.2307/2042279 · Zbl 0401.08011 [13] Komori, Nagoya Math. J. 72 pp 127– (1978) · Zbl 0363.02015 [14] Komori, Rep. Fac. Sci. Shizuoka Univ. 12 pp 1– (1978) [15] Jónnson, Math. Scand. 21 pp 110– (1967) · Zbl 0167.28401 [16] Iséki, Math. Japon. 23 pp 1– (1978) [17] Iséki, Math. Japon. 21 pp 351– (1976) [18] Iséki, Proceedings of the 3rd Symposium on Semigroups pp 11– (1979) [19] Iséki, Proceedings of the 1st Symposium on Semigroups pp 44– (1977) [20] DOI: 10.3792/pja/1195522171 · Zbl 0207.29304 [21] Henkin, Fund. Math. 37 pp 63– (1950) [22] Yutani, Math. Sem. Notes Kobe Univ. 5 pp 469– (1977) [23] Traczyk, Math. 24 pp 283– (1979) [24] Shmuely, Pacific J. Math. 54 pp 209– (1974) [25] DOI: 10.1007/BF02944976 · Zbl 0242.08005 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.