On the structure of varieties with equationally definable principal congruences III

This publication has 20 references indexed in Scilit:

• Logics without the contraction rule
  The Journal of Symbolic Logic, 1985
• On the structure of varieties with equationally definable principal congruences II
  Algebra universalis, 1984
• Some varieties containing relation algebras
  Transactions of the American Mathematical Society, 1982
• Varieties generated by finite BCK-algebras
  Bulletin of the Australian Mathematical Society, 1980
• Metric spaces, generalized logic, and closed categories
  Rendiconti del Seminario Matematico e Fisico di Milano, 1973
• An algebra related with a propositional calculus
  Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1966
• Komplement re Halbgruppen Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
  Mathematische Annalen, 1965
• Algebraic analysis of many valued logics
  Transactions of the American Mathematical Society, 1958
• Boolean Algebras with Operators. Part I
  American Journal of Mathematics, 1951
• Residuated lattices
  Transactions of the American Mathematical Society, 1939