Abstract
★-autonomous lattices are the algebraic exponentials and without additive constants. In this paper, we investigate the structure theory of this variety and some of its subvarieties, as well as its relationships with other classes of algebras.
Similar content being viewed by others
References
Aglianò, P., ‘An algebraic investigation of linear logic’, Rapporto Matematico 297, Università di Siena, 1996.
Aglianò, P., ‘Ternary deduction terms in residuated structures’, Acta Scientiarum Mathematicarum Szeged 64, 3–4 (1998), 397–429.
Anderson, M., and T. Feil, Lattice-Ordered Groups: An Introduction, Reidel, Dordrecht, 1988.
Avron, A., ‘The semantics and proof theory of linear logic’, Theoretical Computer Science 57 (1988), 161–184.
Avron, A., ‘Some properties of linear logic proved by semantic methods’, Journal of Logic and Computation 4 (1994), 929–938.
Birkhoff, G., Lattice Theory, AMS, Providence, 1940.
Blok, W., and D. Pigozzi, ‘On the structure of varieties with equationally definable principal congruences III’, Algebra Universalis 32 (1994), 545–608.
Blount, K., On the Structure of Residuated Lattices, PhD Dissertation, Vanderbilt University, Nashville, 1999.
Blount, K., and C. Tsinakis, ‘The structure of residuated lattices’, International Journal of Algebra and Computation 13, 4 (2003), 437–461.
Casari, E., ‘Comparative logic and Abelian -groups’, in R. Ferro et al., (eds.), Logic Colloquium ‘88, North Holland, Amsterdam, 1989, pp. 161–190.
Chang, C.C., ‘Algebraic analysis of many-valued logics’, Transactions of the AMS 93 (1958), 74–90.
Cignoli, R., I. M. L. D’Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 1999.
Dunn, J. M., The Algebra of Intensional Logics, PhD Dissertation, Pittsburgh University, 1966.
Galatos, N., Selected Topics on Residuated Lattices, Qualifying paper, Vanderbilt University, Nashville, 2000.
Galatos, N., Varieties of Residuated Lattices, PhD thesis, Vanderbilt University, Nashville, 2003.
Girard, J.-Y., ‘Linear logic’, Theoretical Computer Science 50 (1987), 1–102.
Grishin V.N., ‘Predicate and set-theoretic calculi based on logics without contraction’, Math. URSS Izvestija 18 (1982), 41–59.
Hart, J.B., L. Rafter, and C. Tsinakis, ‘The structure of commutative residuated lattices’, International Journal of Algebra and Computation 12, 4 (2002), 509–524.
Idziak, P. M., ‘Lattice operations in BCK algebras’, Mathematica Japonica 29, 6 (1984), 839–846.
Jipsen, P., and C. Tsinakis, ‘A survey of residuated lattices’, in J. Martinez (ed.), Ordered Algebraic Structures, Kluwer, Dordrecht, 2002, pp. 19–56.
Kowalski, T., and H. Ono, Residuated Lattices, JAIST Reports, Ishikawa, 2001.
Paoli, F., ‘On the algebraic structure of linear, relevance, and fuzzy logics’, Archive for Mathematical Logic 41 (2002), 107–121.
Paoli, F., Substructural Logics: A Primer, Kluwer, Dordrecht, 2002.
Paoli, F., ‘A really fuzzy approach to the sorites paradox’, Synthese 134, 3 (2003), 363–387.
Rosenthal, K., Quantales and Their Applications, Longman Scientific, Essex.
Ursini, A., and P. Aglianò, ‘Ideals and other generalizations of congruence classes’, Journal of the Australian Mathematical Society A, 53 (1992), 103–115.
Yetter, D. N., ‘Quantales and (noncommutative) linear logic’, Journal of Symbolic Logic 55 (1990), 41–64.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Paoli, F. ★-autonomous Lattices. Stud Logica 79, 283–304 (2005). https://doi.org/10.1007/s11225-005-2979-y
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-2979-y