Interval MV-algebras and generalizations.

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

Authors: Leonardo Manuel Cabrer, Daniele Mundici 

Publication date: 8 October 2014

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

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.

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

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

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)

Cites Work

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

Cited In (7)

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

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)