\(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic

DOI10.1016/j.fss.2007.12.010zbMath1183.06006OpenAlexW1985651708MaRDI QIDQ835129

Luca Spada

Publication date: 28 August 2009

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2007.12.010

zbMATH Keywords

fixed pointlattice-ordered groupmany-valued logicMV-algebra\(\Delta\)-operatordivisible MV-algebra

Mathematics Subject Classification ID

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

Related Items (2)

Franco Montagna's work on provability logic and many-valued logic ⋮ An expansion of basic logic with fixed points

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Metamathematics of fuzzy logic
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Interpolation in fuzzy logic
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Linear Kripke frames and Gödel logics
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• A constructive proof of McNaughton's theorem in infinite-valued logic
• Kripke‐style semantics for many‐valued logics
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators

This page was built for publication: \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic