Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case

DOI10.1007/978-3-540-75939-3_9zbMath1122.03064OpenAlexW1509545833MaRDI QIDQ5426002

Lluís Godo, Francesc Esteva

Publication date: 15 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_9

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05)

Related Items (2)

Group representation for even and odd involutive commutative residuated chains ⋮ Is there a need for fuzzy logic?

Cites Work

• Unnamed Item
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Generalized MV-algebras
• Algebraic foundations of many-valued reasoning
• On two fragments with negation and without implication of the logic of residuated lattices
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Pseudo MV-algebras are intervals in ℓ-groups

This page was built for publication: Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case