Ł logic with fixed points

DOI10.1007/S00153-008-0105-3zbMATH Open1179.03031OpenAlexW2048287546MaRDI QIDQ953281FDOQ953281

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

Recommendations

• Advances in the theory of \(\mu \)Ł\(\Pi \) algebras
• \(\mu \)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

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)

Cites Work

• Elementary induction on abstract structures
• Groupes et anneaux reticules
• Metamathematics of fuzzy logic
• A lattice-theoretical fixpoint theorem and its applications
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Tensor products and the Loomis-Sikorski theorem for MV-algebras
• Algebraizable logics
• Results on the propositional \(\mu\)-calculus
• A logical and algebraic treatment of conditional probability
• An algebraic approach to propositional fuzzy logic
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Continuous approximations of product implication in MV-algebras with product
• Title not available (Why is that?)
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• 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 note to the definition of the Ł\(\Pi\)-algebras
• A constructive proof of McNaughton's theorem in infinite-valued logic
• Linear Kripke frames and Gödel logics
• Fixed Point Logics
• Complexity and Definability Issues in LFormula

Cited In (5)

• Fuzzy logics with an additional involutive negation
• Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
• Franco Montagna's work on provability logic and many-valued logic
• \(\mu \)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)