On the quasivariety of BCK-algebras and its subvarieties
- 1 March 1995
- journal article
- research article
- Published by Springer Nature in Algebra universalis
- Vol. 33 (1) , 68-90
- https://doi.org/10.1007/bf01190766
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Ideal determined varieties need not be congruence 3-permutableAlgebra universalis, 1994
- Congruence Permutable and Congruence 3-Permutable Locally Finite VarietiesJournal of Algebra, 1993
- Tolerance numbers, congruence $n$-permutability and BCK-algebrasCzechoslovak Mathematical Journal, 1992
- Every BCK-algebra is a set of residuables in an integral pomonoidJournal of Algebra, 1988
- Logics without the contraction ruleThe Journal of Symbolic Logic, 1985
- Varieties generated by finite BCK-algebrasBulletin of the Australian Mathematical Society, 1980
- Universal AlgebraPublished by Springer Nature ,1979
- Implication algebras are 3-permutable and 3-distributiveAlgebra universalis, 1971
- An algebra related with a propositional calculusProceedings of the Japan Academy, Series A, Mathematical Sciences, 1966
- Formal LogicPublished by Oxford University Press (OUP) ,1963