Ł\(\Pi\) logic with fixed points
From MaRDI portal
Publication:953281
DOI10.1007/s00153-008-0105-3zbMath1179.03031OpenAlexW2048287546MaRDI QIDQ953281
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
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50) Ordered rings, algebras, modules (06F25)
Related Items (3)
Franco Montagna's work on provability logic and many-valued logic ⋮ An expansion of basic logic with fixed points ⋮ Fuzzy logics with an additional involutive negation
Cites Work
- Unnamed Item
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- Elementary induction on abstract structures
- Groupes et anneaux reticules
- Tensor products and the Loomis-Sikorski theorem for MV-algebras
- Metamathematics of fuzzy logic
- A logical and algebraic treatment of conditional probability
- An algebraic approach to propositional fuzzy logic
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Continuous approximations of product implication in MV-algebras with product
- A note to the definition of the Ł\(\Pi\)-algebras
- A lattice-theoretical fixpoint theorem and its applications
- Algebraic Analysis of Many Valued Logics
- Linear Kripke frames and Gödel logics
- Algebraizable 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
- Fixed Point Logics
- Complexity and Definability Issues in LFormula
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
This page was built for publication: Ł\(\Pi\) logic with fixed points
