Cancellative residuated lattices

Algebra Universalis

Volumn 50, Issue 1, 2003, Pages 83-106

  Bahls, P ^a   Cole, J ^a   Galatos, N ^a   Jipsen, P ^a   Tsinakis, C ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346308221     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00012-003-1822-4     Document Type: Article

References (27)

1. M. Anderson and T. Feil, Lattice-Ordered Groups: an introduction, D. Reidel Publishing Company, 1988.
2. J. Berman, Homogeneous lattices and lattice-ordered groups, Colloq. Math. 32 (1974), 13-24.
3. G. Birkhoff, Lattice-ordered groups, Ann. Math. 43 (1942), 298-331.
4. G. Birkhoff, Lattice Theory (3rd ed), Coloquium Publications 25, Amer. MAth. Soc., 1967.
5. W. J. Blok and I. M. A. Ferreirim, On the structure of hoops, Algebra Universalis [43] (2000), 233-257.
6. W. J. Blok and J. G. Raftery, Varieties of commutative residuated integral pomonoids and their residuation subreducts, J. Algebra 190 (1997), 280-328.
7. K. Blount and C. Tsinakis, The structure of Residuated Lattices, Internat. J. Algebra Comput., to appear.
8. T. S. Blyth and M. F. Janowitz, Residuation Theory, Pergamon Press, 1972.
9. B. Bosbach, Komplementäre Halbgruppen: Axiomatik und Arithmetik. (German) Fund. Math. 64 (1969), 257-287.
10. B. Bosbach, Komplementäre Halbgruppen: Kongruenzen und Quotienten, (German) Fund. Math. 69 (1970), 1-14.
11. C.-C. Chang, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958) 467-490.
12. C.-C. Chang, A new proof of the completeness of the Łukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959) 74-80.
13. R. Cignoli, I. D'Ottaviano, D. Mundici, Algebraic foundations of many- valued reasoning, Trends in Logic - Studia Logica Library, 7. Kluwer Academic Publishers, Dordrecht, 2000.
14. J. Cole, Residuated Lattice Orderings on Free Monoids, Qualifying paper, Vanderbilt, 2000.
15. I. M. A. Ferreirim, On varieties and quasivarieties of hoops and their reducts, Ph.D. thesis, University of Illinois at Chicago, 1992.
16. L. Fuchs, Partially ordered algebraic systems, Pergamon Press, 1963.
17. N. Galatos, Minimal varieties of residuated lattices, preprint.
18. N. Galatos and C. Tsinakis Generalized MV-algebras, in preparation.
19. P. Hájek, Metamathematics of Fuzzy Logic, volume 4 of Trends in Logic, Kluwer Academic Publishers, 1998.
20. J. Hart, L. Rafter and C. Tsinakis, The structure of Commutative Residuated lattices, Internat. J. Algebra Comput. 12 (2002), 509-524.
21. P. Jipsen and C. Tsinakis, A survey of Residuated Lattices, Ordered Algebraic Structures (J. Martinez, editor), Kluwer Academic Publishers, Dordrecht, 2002, pp. 19- 56.
22. R. McKenzie, An algebraic version of categorical equivalence for varieties and more general algebraic categories, Logic and Algebra (ed. A. Ursini, P. Aglianò), Marcel Dekker, 1996, pp. 211-244.
23. D. Mundici, Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15-63.
24. V. Novák, I. Perfilieva, and J. Mockor, Mathematical Principles of Fuzzy Logic, volume 517 of The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers, 1999.
25. W. B. Powell and C. Tsinakis, Free products in varieties of lattice- ordered groups, in Lattice-Ordered Groups (A. M. W. Glass and W. C. Holland, Editors), Kluwer Academic Publishers, 1989, pp. 278-307.
26. M. Ward, R.P. Dilworth, Residuated Lattices, Transactions of the AMS 45 (1939), 335-354.
27. E. C. Weinberg, Free lattice-ordered abelian groups, Math. Ann. 151 (1963), 187-199.