Adding structure to MV-algebras
Building on the first author's paper ``An algebraic approach to propositional fuzzy logic [J. Logic Lang. Inf. 9, 91-124 (2000; Zbl 0942.06006)], the authors of this interesting paper consider various enrichments of MV-algebras. These enriched structures are intended to yield an algebraic semantics for extensions of Łukasiewicz infinite-valued logic, where one also incorporates extra t-norms and their residues. For background on the logic of MV-algebras and of t-norms, respectively see the monographs: \textit{R. L. O. Cignoli}, \textit{I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning [Trends in Logic, Studia Logica Library. 7. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)], and \textit{P. Hajek}, Metamathematics of fuzzy logic [Trends in Logic, Studia Logica Library. 4. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)]. As proved by the authors of the present paper, in many cases the forgetful functor has a left adjoint, and hence for every MV-algebra \(A\) there is a freest enriched algebra which is generated by \(A\) under the added operations and constraining equations. A major obstruction is the unsolved problem, going back to Birkhoff and Pierce, of characterizing free algebras in the variety generated by the unit real interval \([0,1]\) equipped with negation \(1-x\), truncated sum, and multiplication.
- A constructive proof of McNaughton's theorem in infinite-valued logic
- A theorem about infinite-valued sentential logic
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- An algebraic approach to propositional fuzzy logic
- Fragments of Many-Valued Statement Calculi
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- scientific article; zbMATH DE number 420884 (Why is no real title available?)
- scientific article; zbMATH DE number 3870293 (Why is no real title available?)
- scientific article; zbMATH DE number 3470465 (Why is no real title available?)
- scientific article; zbMATH DE number 1269582 (Why is no real title available?)
- scientific article; zbMATH DE number 560935 (Why is no real title available?)
- scientific article; zbMATH DE number 1028817 (Why is no real title available?)
- scientific article; zbMATH DE number 802718 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 922613 (Why is no real title available?)
- scientific article; zbMATH DE number 3222967 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Metamathematics of fuzzy logic
- On Fuzzy Logic I Many‐valued rules of inference
- On the structure of semi-groups on a compact manifold with boundary
- On triangular norm-based propositional fuzzy logics
- Prime Ideal Structure in Commutative Rings
- Residuated Lattices
- Tensor products and the Loomis-Sikorski theorem for MV-algebras
- Triangular norm-based measures and their Markov kernel representation
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
- Obituary: Franco Montagna (1948--2015)
- An algebraic approach to propositional fuzzy logic
- The semiring-theoretic approach to MV-algebras: a survey
- Rota's Fubini lectures: the first problem
- Fuzzy logics with an additional involutive negation
- On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)
- Generalized rough approximations in Ł\(\Pi \frac{1}{2}\)
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- Fuzzy class theory
- Lattice-theoretic properties of algebras of logic
- Strong non-standard completeness for fuzzy logics
- Partial algebras for Łukasiewicz logics and its extensions
- A note to the definition of the Ł\(\Pi\)-algebras
- On free MV algebras and a problem of Tarski
- Franco Montagna's work on provability logic and many-valued logic
- Łukasiewicz games: a logic-based approach to quantitative strategic interactions
- MVW-rigs and product MV-algebras
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- Conservative expansions of substructural logics
- On the variety of Gödel MV-algebras
- On the difference between traditional and deductive fuzzy logic
- Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras
- The universal group of a Heyting effect algebra
- The coherence of Łukasiewicz assessments is NP-complete
This page was built for publication: Adding structure to MV-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5954118)
