Abstract
Mundici’s Γ functor establishes a categorical equivalence between MV-algebras and lattice-ordered Abelian groups with a strong unit. In this short note we present a first step towards the generalization of such a relationship when we replace MV-algebras by weaker structures obtained by dropping the divisibility condition. These structures are the so-called involutive monoidal t-norm based algebras, IMTL-algebras for short. In this paper we restrict ourselves to linearly ordered IMTL-algebras, for which we show a one-to-one correspondence with a kind of ordered grupoid-like structures with a strong unit. A key feature is that the associativity property in such a new structure related to a IMTL-chain is lost as soon the IMTL-chain is no longer a MV-chain and the strong unit used in Mundici’s Γ functor is required here to have stronger properties. Moreover we define a functor between the category of such structures and the category of IMTL algebras that is a generalization of Mundici’s functor Γ and, restricted to their linearly ordered objects, a categorical equivalence.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bou, F., Garcia-Cerdaña, A., Verdú, V.: On some Substructural Aspects of t-Norm Based Logics. In: Proc. of IPMU 2004, Perugia (Italy), pp. 545–552 (2004)
Bou, F., Garcia-Cerdaña, A., Verdú, V.: On two fragments with negation and without implication of the logic of residuated lattices. Archive for Mathematical Logic 45, 615–647 (2006)
Chang, C.C.: Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society 88, 467–490 (1958)
Chang, C.C.: A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society 93, 74–90 (1959)
Cignoli, R., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)
Dvurečenskij, A.: Pseudo MV-algebras are intervals in l-groups. J. Austr. Math. Soc. 72(3), 427–445 (2002)
Esteva, F., Godo, L.: Monoidal t-norm based Logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124, 271–288 (2001)
Galatos, N., Tsinakis, C.: Generalized MV-algebras. Journal of Algebra 283, 254–291 (2005)
Gris̆in, V.N.: Predicate and set theoretic calculi on logic without contraction. Math. USSR Izv. 18(1), 42–59 (1982)
Höhle, U.: Commutative, residuated l-monoids. In: Höhle, U., Klement, E.P. (eds.) Non-Classical Logics and Their Applications to Fuzzy Subsets, pp. 53–106. Kluwer Acad. Publ., Dordrecht (1995)
Mundici, D.: Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. Journal of Functional Analysis 65, 15–63 (1968)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Esteva, F., Godo, L. (2007). Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case. In: Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V. (eds) Algebraic and Proof-theoretic Aspects of Non-classical Logics. Lecture Notes in Computer Science(), vol 4460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75939-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-75939-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75938-6
Online ISBN: 978-3-540-75939-3
eBook Packages: Computer ScienceComputer Science (R0)