MV-algebras: An approach to fixed points in Łukasiewicz logic

DOI10.1016/J.FSS.2007.12.010zbMATH Open1183.06006OpenAlexW1985651708MaRDI QIDQ835129FDOQ835129

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

Recommendations

• Advances in the theory of \(\mu \)Ł\(\Pi \) algebras
• scientific article; zbMATH DE number 2070196
• Semi-simple and complete MV-algebras
• Dynamic Łukasiewicz logic and dynamic MV-algebras
• Ł\(\Pi\) logic with fixed points

zbMATH Keywords

fixed pointmany-valued logicMV-algebralattice-ordered group\(\Delta\)-operatordivisible MV-algebra

Mathematics Subject Classification ID

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

Cites Work

• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Title not available (Why is that?)
• Interpolation in fuzzy logic
• Fragments of Many-Valued Statement Calculi
• Title not available (Why is that?)
• Results on the propositional \(\mu\)-calculus
• Varieties of BL-algebras. I: General properties.
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
• Kripke‐style semantics for many‐valued 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
• Linear Kripke frames and Gödel logics
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Franco Montagna's work on provability logic and many-valued logic
• Ł\(\Pi\) logic with fixed points
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
• Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
• An expansion of basic logic with fixed points
• Matching µ-logic: Foundation of K framework

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

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