On the lattice of varieties of residuation algebras

Algebra Universalis

Volumn 41, Issue 4, 1999, Pages 283-315

  Van Alten, C J ^a   Raftery, J G ^a  

^a UNIVERSITY OF KWAZULU NATAL   (South Africa)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033473579     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s000120050116     Document Type: Article

References (34)

1. BAKER, K., Finite equational bases for finite algebras in congruence distributive equational classes, Advances in Mathematics 24 (1977), 207-243.
2. BLOK, W. J. and PIGOZZI, D., On the structure of varieties with equationally definable principal congruences I, Algebra univers. 15 (1982), 195-227.
3. BLOK, W. J. and PIGOZZI, D., A finite basis theorem for quasivarieties, Algebra univers. 22 (1986), 1-13.
4. BLOK, W. J. and PIGOZZI, D., Local deduction theorems in algebraic logic, Colloquia Mathematica Societatis Janos Bolyai 54. Algebraic Logic, Budapest (Hungary), 1988, 75-109.
5. BLOK, W. J. and PIGOZZI, D., Algebraizable Logics, Memoirs of the American Mathematical Society, Number 396, Amer. Math. Soc., Providence, 1989.
6. BLOK, W. J. and PIGOZZI, D., On the structure of varieties with equationally definable principal congruences III, Algebra univers. 32 (1994), 545-608.
7. BLOK, W. J. and PIGOZZI, D., Abstract Algebraic Logic and the Deduction Theorem, Bulletin of the Association of Symbolic Logic, in print.
8. BLOK, W. J. and RAFTERY, J. G., On the quasivariety of BCK-algebras and its subvarieties, Algebra univers. 33 (1995), 68-90.
9. BLOK, W. J. and RAFTERY, J. G., Varieties of commutative residuated integral pomonoids and their residuation subreducts, Journal of Algebra 190 (1997), 280-328.
10. BOSBACH, B., Residuation groupoids, Resultate der Mathematik 5 (1982), 107-122.
11. BURRIS, S. and SANKAPPANAVAR, H. P., A Course in Universal Algebra, Graduate Texts in Mathematics, Springer-Verlag, New York, 1981.
12. CORNISH, W. H., On Iséki's BCK-algebras, Lecture Notes in Pure and Applied Mathematics, Vol. 74 (1982), 101-122, Marcel Dekker, New York.
13. CZELAKOWSKI, J. and DZIOBIAK, W., Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class, Algebra univers. 27 (1990), 128-149.
14. DUNN, J. M., Partial gaggles applied to logics with restricted structural rules, in [SD93].
15. DZIOBIAK, W., Finitely generated congruence distributive quasivarieties of algebras, Fund. Math. 133 (1989), 47-57.
16. IDZIAK, P. M., On varieties of BCK-algebras, Math. Japonica 28 (1983), 157-162.
17. JÓNSSON, B., Algebras whose congruence lattices are distributive, Math. Scandinavica 21 (1967), 110-121.
18. JÓNSSON, B., On finitely based varieties of algebras, Colloquium Mathematicum 42 (1979), 255-261.
19. KEARNES, K. and MCKENZIE, R., Commutator theory for relatively modular quasivarieties, Trans. Amer. Math. Soc. 331 (1992), 465-502.
20. KOMORI, Y., The variety generated by BCC-algebras is finitely based, Reports of Faculty of Science, Shizuoka University 17 (1983), 13-16.
21. KOMORI, Y., The class of BCC-algebras is not a variety, Math. Japonica 29 (1984), 391-394.
22. KOWALSKI, T., The bottom of the lattice of BCK-varieties, Reports on Mathematical Logic 29 (1995), 87-93.
23. NURAKUNOV, A. M., Characterization of relatively distributive quasivarieties of algebras (English translation), Algebra and Logic 29 (1990), 451-458.
24. ONO, H. and KOMORI, Y., Logics without the contraction rule, J. Symbolic Logic 50 (1985), 169-202.
25. RAFTERY, J. G. and VAN ALTEN, C. J., On the algebra of noncommutative residuation: polrims and left residuation algebras, Math. Japonica 46 (1997), 29-46.
26. SCHROEDER-HEISTER, P. and DOŠEN, K. (eds.), Substructural Logics, Clarendon Press, Oxford, 1993.
27. VAN ALTEN, C. J., An Algebraic Study of Residuated Ordered Monoids and Logics Without Exchange and Contradiction, PhD Thesis, University of Natal (Durban), 1998.
28. VAN ALTEN, C. J., On the canonical lattice extension of a distributive nearlattice with a residuation operation, Quaestiones Mathematicae, in print.
29. VAN ALTEN, C. J. and RAFTERY, J. G., On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules, Reports on Mathematical Logic 31 (1997), 3-55. [Internal Report No. 5/99, University of Natal, School of Mathematical and Statistical Sciences, Durban.]
30. WROŃSKI, A., The degree of completeness of some fragments of intuitionsitic prepositional logic, Reports on Mathematical Logic 2 (1974), 55-62.
31. WROŃSKI, A., BCK-algebras do not form a variety, Math. Japonica 28 (1983), 211-213.
32. WROŃSKI, A., Reflections and distensions of BCK-algebras, Math. Japonica 28 (1983), 215-225.
33. WROŃSKI, A., An algebraic motivation for BCK-algebras, Math. Japonica 30 (1985), 187-193.
34. WROŃSKI, A. and KABZIŃSKI, J. K., There is no largest variety of BCK-algebras, Math. Japonica 29 (1984), 545-549.