Varieties of commutative residuated integral pomonoids and their residuation subreducts

Journal of Algebra

Volumn 190, Issue 2, 1997, Pages 280-328

  Blok, Willem J ^a   Raftery, James G ^b  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

^b UNIVERSITY OF KWAZULU NATAL   (South Africa)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031569723     PISSN: 00218693     EISSN: None     Source Type: Journal    
DOI: 10.1006/jabr.1996.6834     Document Type: Article

References (62)

1. [Ame82] K. Amer, "Commutative monoids with monus," Ph.D. thesis, University of Waterloo, 1982.
2. [Ame84] K. Amer, Equationally complete classes of commutative monoids with monus, Algebra Universalis 18 (1984), 129-131.
3. [Bir84] G. Birkhoff, "Lattice Theory," Colloquium Publications, Vol. 25, 3rd ed., reprinted with corrections, Am. Math. Soc., Providence RI, 1984.
4. [BF93] W. J. Blok and I. M. A. Ferreirim, Hoops and their implicational reducts (Abstract), in " Algebraic Methods in Logic and in Computer Science," Banach Center Publications, Vol. 28, Institute of Mathematics, Polish Academy of Sciences, Warsaw, 1993.
5. [BF] W. J. Blok and I. M. A. Ferreirim, On the variety of hoops, preprint, 1996.
6. [BKP84] W. J. Blok, P. Köhler, and D. Pigozzi, On the structure of varieties with equationally definable principal congruences II, Algebra Universalis 18 (1984), 334-379.
7. [BP82] W. J. Blok and D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15 (1982), 195-227.
8. [BP88] W. J. Blok and D. Pigozzi, Local deduction theorems in algebraic logic, "Algebraic Logic," Colloquia Mathematica Societatis Janos Bolyai, Vol. 54. Budapest (Hungary), 1988, 75-109.
9. [BP89] W. J. Blok and D. Pigozzi, "Algebraizable Logics," Memoirs of the American Mathematical Society, Vol. 77, No. 396, Am. Math. Soc., Providence, 1989.
10. [BP94] W. J. Blok and D. Pigozzi, On the structure of varieties with equationally definable principal congruences III, Algebra Universalis 32 (1994), 545-608.
11. [BR93] W. J. Blok and J. G. Raftery, Failure of the congruence extension property in BCK-algebras and related structures, Math. Japonica 38 (1993), 633-638.
12. [BR95] W. J. Blok and J. G. Raftery, On the quasivariety of BCK-algebras and its subvarieties, Algebra Universalis 33 (1995), 68-90.
13. [Bos69] B. Bosbach, Komplementäre Halbgruppen. Axiomatik und Arithmetik, Fund. Math. 64 (1969), 257-287.
14. [BS81] S. Burris and H. P. Sankappanavar, "A Course in Universal Algebra," Graduate Texts in Mathematics, Vol. 78. Springer-Verlag, New York, 1981.
15. [Cha81] I. Chajda, Distributivity and modularity of lattices of tolerance relations, Algebra Universalis 12 (1981), 247-255.
16. [Cha88] I. Chajda, Tolerances in congruence permutable algebras, Czechoslovak Math. J. 38 (1988), 218-225.
17. [Cha58] C. C. Chang, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467-490.
18. [Cor81] W. H. Cornish, A large variety of BCK-algebras, Math. Japonica 26 (1981), 339-344.
19. [Cor82a] W. H. Cornish, On Iséki's BCK-algebras, in Lecture Notes in Pure and Applied Mathematics, Vol. 74, pp. 101-122, Dekker, New York, 1982.
20. [Cor82b] W. H. Cornish, BCK-algebras with a supremum, Math. Japonica 27 (1982), 63-73.
21. [Cor84] W. H. Cornish, BCK-algebras with a supremum II. Distributivity and interpolation, Math. Japonica 29 (1984), 439-447.
22. [Die66] A. Diego, "Sur les Algèbres de Hilbert," Collection de Logique Mathematique, Ser. A, No. 21, Gauthier-Villars, Paris, 1966.
23. n, n ≥ 2, is locally finite, Demonstratio Math. 20 (1987), 215-219.
24. [Eva69] T. Evans, Some connections between residual finiteness, finite embeddability and the word problem, J. London Math. Soc. 1 (1969), 399-403.
25. [Fer92] I. M. A. Ferreirim, "On Varieties and Quasivarieties of Hoops and Their Reducts," Ph.D. thesis, University of Illinois at Chicago, 1992.
26. [Fle88] I. Fleischer, Every BCK-algebra is a set of residuables in an integral pomonoid, J. Algebra 119 (1988), 360-365.
27. [Grä79] G. Grätzer, "Universal Algebra," 2nd ed., Springer-Verlag, New York, 1979.
28. [Hag73] J. Hagemann, "On Regular and Weakly Regular Congruences," Preprint No. 75, Technische Hochschule Darmstadt, June 1973.
29. [HH79] J. Hagemann and C. Herrmann, A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity, Arch. Math. (Basel) 32 (1979), 234-245.
30. [Hig84] D. Higgs, Dually residuated commutative monoids with identity element as least element do not form an equational class, Math. Japonica 29 (1984), 69-75.
31. [Idz83] P. M. Idziak, On varieties of BCK-algebras, Math. Japonica 28 (1983), 157-162.
32. [Isé66] K. Iséki, An algebra related with a propositional calculus, Proc. Japan Acad. 42 (1966), 26-29.
33. [Isé79] K. Iséki, BCK-algebras with condition (S), Math. Japonica 24 (1979), 107-119.
34. [Isé80] K. Iséki, On BCK-algebras with condition (S), Math. Japonica 24 (1980), 625-626.
35. [IT78] K. Iséki and S. Tanaka, An introduction to the theory of BCK-algebras, Math. Japonica 23 (1978), 1-26.
36. [Ka160] J. A. Kalman, Equational completeness and families of sets closed under subtraction, Nederl. Acad. Wetensch. Proc. Ser. A 63 (1960), 402-406.
37. [Kea93] K. Kearnes, Congruence permutable and congruence 3-permutable locally finite varieties, J. Algebra 156 (1993), 36-49.
38. [Köh81] P. Köhler, Brouwerian semilattices, Trans. Amer. Math. Soc. 268 (1981), 103-126.
39. [Kru24] W. Krull, Axiomatische Begruendung der allgemeinen Ideal Theorie, Sitzung der Physikalisch-Medicinische Societaet zu Erlangen 56 (1924), 47-63.
40. [MMT87] R. N. McKenzie, G. F. McNulty, and W. F. Taylor, "Algebras, Lattices, Varieties," Vol. 1, Wadsworth & Brooks/Cole, Monterey, CA, 1987.
41. [Mit71] A. Mitschke, Implication algebras are 3-permutable and 3-distributive, Algebra Universalis 1 (1971), 182-186.
42. [Mon60] A. Monteiro, "Cours sur les Algèbres de Hilbert et de Tarski," Instituto Mat. Univ. del Sur, Bahia Blanca, 1960.
43. [Mun86] D. Mundici, MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math. Japonica 31 (1986), 889-894.
44. [OK85] H. Ono and Y. Komori, Logics without the contraction rule, J. Symbolic Logic 50 (1985), 169-201.
45. [Owe74] T. M. Owens, "Varieties of Skolem Rings," Ph.D. thesis, Purdue University, 1974.
46. [Pał80] M. Pałasinski, Some remarks on BCK-algebras, Math. Seminar Notes Kobe Univ. 8 (1980), 137-144.
47. [Pał81] M. Pałasinski, On ideal and congruence lattices of BCK-algebras, Math. Japonica 26 (1981), 543-544.
48. [Pał82] M. Pałasinski, An embedding theorem for BCK-algebras, Math. Seminar Notes Kobe Univ. 10 (1982), 749-751.
49. n-varieties of BCK-algebras, preprint.
50. [Pałb] M. Pałasinski, BCK-algebras and TD terms, preprint.
51. [Pon86] B. Pondělíček, On a certain class of BCK-algebras with condition (S), Math. Japonica 31 (1986), 775-782.
52. [RRS91] J. G. Raftery, I. G. Rosenberg, and T. Sturm, Tolerance relations and BCK-algebras, Math. Japonica 36 (1991), 399-410.
53. [RS92] J. G. Raftery and T. Sturm, Tolerance numbers, congruence n-permutability and BCK-algebras, Czechoslovak Math. J. 42 (1992), 727-740.
54. [Stu82] T. Sturm, On commutative BCK-algebras embeddable into directed commutative BCK-algebras, Math. Japonica 27 (1982), 197-212.
55. [Stu] T. Sturm, personal communication.
56. [Tan75] S. Tanaka, On ∧-commutative algebras, Math. Seminar Notes Kobe Univ. 3 (1975), 59-64.
57. [Tra79] T. Traczyk, On the variety of bounded commutative BCK-algebras, Math. Japonica 24 (1979), 283-292.
58. [Tra88] T. Traczyk, On the structure of BCK-algebras with zx · yx = zy · xy, Math. Japonica 33 (1988), 319-324.
59. [WD39] M. Ward and R. P. Dilworth, Residuated lattices, Trans. Amer. Math. Soc. 45 (1939), 335-354.
60. [Wro83] A. Wroński, BCK-algebras do not form a variety, Math. Japonica 28 (1983), 211-213.
61. [Wro85] A. Wroński, An algebraic motivation for BCK-algebras, Math. Japonica 30 (1985), 187-193.
62. [WK84] A. Wroński and J. K. Kabziński, There is no largest variety of BCK-algebras, Math. Japonica 29 (1984), 545-549.