Ł logic with fixed points

DOI10.1007/S00153-008-0105-3MaRDI QIDQ953281zbMATH OpenOpenAlexFDO

Authors Luca Spada

Publication date 17 November 2008

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-008-0105-3

zbMATH Keywords

fixed pointmany-valued logicreal closed fieldsordered algebraic semanticsŁ\(\Pi\) logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Ordered rings, algebras, modules (06F25) Other algebras related to logic (03G25)

Recommendations

• Advances in the theory of \(\mu \)Ł\(\Pi \) algebras
• MV-algebras: An approach to fixed points in Łukasiewicz logic
• An expansion of basic logic with fixed points
• Complexity and Definability Issues in LFormula
• On Product Logic with Truth-constants

Cites work

• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 1455783 (Why is no real title available?)
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A lattice-theoretical fixpoint theorem and its applications
• A logical and algebraic treatment of conditional probability
• A note to the definition of the Ł\(\Pi\)-algebras
• Algebraic Analysis of Many Valued Logics
• Algebraizable logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• An algebraic approach to propositional fuzzy logic
• Complexity and Definability Issues in LFormula
• Continuous approximations of product implication in MV-algebras with product
• Elementary induction on abstract structures
• Fixed Point Logics
• Groupes et anneaux reticules
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Kripke‐style semantics for many‐valued logics
• Linear Kripke frames and Gödel logics
• Metamathematics of fuzzy logic
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Results on the propositional \(\mu\)-calculus
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics

Cited in

(5)

• Fuzzy logics with an additional involutive negation
• Advances in the Ł and Ł 12 logics
• Franco Montagna's work on provability logic and many-valued logic
• MV-algebras: An approach to fixed points in Łukasiewicz logic
• An expansion of basic logic with fixed points

This page was built for publication: Ł\(\Pi\) logic with fixed points

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