Interval MV-algebras and generalizations.

DOI10.1016/J.IJAR.2014.05.002zbMATH Open1326.06011OpenAlexW1987990059MaRDI QIDQ459040FDOQ459040

Authors Leonardo Manuel Cabrer, Daniele Mundici 

Publication date 8 October 2014

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1403.0932

zbMATH Keywords

interval logicapproximated reasoningcategorical equivalencesIMV-algebrasinterval MV-algebrasintervals as truth-valuestriangularizations

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35)

Abstract: For any MV-algebra $A$ we equip the set $I(A)$ of intervals in $A$ with pointwise L ukasiewicz negation $egx=egalphamidalphainx$, (truncated) Minkowski sum, $$, pointwise L ukasiewicz conjunction $xodoty=eg(egxoplusegy)$, the operators $Deltax=[minx,minx]$, $ablax=[maxx,maxx]$, and distinguished constants $0=[0,0],,,1=[1,1],,,,mathsfi=A$. We list a few equations satisfied by the algebra $mathcalI(A)=(I(A),0,1,mathsfi,eg,Delta,abla,oplus,odot)$, call IMV-algebra every model ofthese equations, and show that, conversely, every IMV-algebra is isomorphic to the IMV-algebra $mathcalI(B)$ of all intervals in some MV-algebra $B$. We show that IMV-algebras are categorically equivalent to MV-algebras, and give a representation of free IMV-algebras. We construct L ukasiewicz interval logic, with its coNP-complete consequence relation, which we prove to be complete for $mathcalI([0,1])$-valuations. For any class $mathsfQ$ of partially ordered algebras with operations that are monotone or antimonotone in each variable, we consider the generalization $mathcal{I}_{mathsfQ}$ of the MV-algebraic functor $mathcalI$, and give necessary and sufficient conditions for $mathcal{I}_{mathsfQ}$ to be a categorical equivalence. These conditions are satisfied, e.g., by all subquasivarieties of residuated lattices.

Recommendations

• A note on interval MV-algebras
• On interval subalgebras of generalized MV-algebras
• On intervals and isometries of MV-algebras
• Quantum MV algebras
• Relative MV-algebras and relative homomorphisms

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3231882 (Why is no real title available?)
• scientific article; zbMATH DE number 3264909 (Why is no real title available?)
• 35 years of fuzzy set theory. Celebratory volume dedicated to the retirement of Etienne E. Kerre
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A compact \([0,1]\)-valued first-order Łukasiewicz logic with identity on Hilbert space
• A fuzzy logic with interval truth values
• A note on interval MV-algebras
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic foundations of many-valued reasoning
• Algebraic structures of interval-valued fuzzy \((S,\mathcal N)\)-implications
• Bookmaking over infinite-valued events
• Bounded Lattice T-Norms as an Interval Category
• Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras
• ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
• Fragments of Many-Valued Statement Calculi
• Implication in fuzzy logic
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Interpretation of De Finetti coherence criterion in Łukasiewicz logic
• Interval representations, Łukasiewicz implicators and Smets-Magrez axioms
• Introduction to Interval Analysis
• Lattice-ordered groups
• Lukasiewicz-Moisil algebras
• Metamathematics of fuzzy logic
• Modal operators on MV-algebras.
• ON THE PROPERTIES OF A GENERALIZED CLASS OF T-NORMS IN INTERVAL-VALUED FUZZY LOGICS
• On monadic MV-algebras
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Residuated lattices. An algebraic glimpse at substructural logics
• Some comments on interval valued fuzzy sets
• The concept of a linguistic variable and its application to approximate reasoning. I
• The differential semantics of Łukasiewicz syntactic consequence
• Triangle algebras: A formal logic approach to interval-valued residuated lattices
• Uncertain rule-based fuzzy logic systems: introduction and new directions
• Uncertainty measures -- problems concerning additivity
• \((S,N)\)- and \(R\)-implications: A state-of-the-art survey

Cited in

(7)

• A note on interval MV-algebras
• On intervals and isometries of MV-algebras
• A general unified framework for interval pairwise comparison matrices
• On interval subalgebras of generalized MV-algebras
• Relative subalgebras of MV-algebras
• Dyck algebras, interval temporal logic, and posets of intervals
• Relative MV-algebras and relative homomorphisms

This page was built for publication: Interval MV-algebras and generalizations.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q459040)