Bounded BCK‐algebras and their generated variety

This publication has 10 references indexed in Scilit:

• Glivenko like theorems in natural expansions of BCK‐logic
  Mathematical Logic Quarterly, 2004
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras
  Algebra universalis, 2002
• Varieties of Commutative Residuated Integral Pomonoids and Their Residuation Subreducts
  Journal of Algebra, 1997
• On the quasivariety of BCK-algebras and its subvarieties
  Algebra universalis, 1995
• Algebraizable logics
  Memoirs of the American Mathematical Society, 1989
• Impossibility of defining the class of Lo-algebras by means of identities
  Mathematical Notes, 1985
• Logics without the contraction rule
  The Journal of Symbolic Logic, 1985
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
  Mathematics of the USSR-Izvestiya, 1982
• A Course in Universal Algebra
  Published by Springer Nature ,1981
• An algebra related with a propositional calculus
  Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1966