An expansion of basic logic with fixed points

DOI10.1007/S00500-016-2344-2zbMath1396.03050OpenAlexW2521937814MaRDI QIDQ1699729

Luca Spada

Publication date: 23 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-016-2344-2

zbMATH Keywords

fixed pointsBL-algebrasstorage operators

Mathematics Subject Classification ID

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

Related Items (1)

Tripled fuzzy metric spaces and fixed point theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Completeness for flat modal fixpoint logics
• Results on the propositional \(\mu\)-calculus
• \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
• Ł\(\Pi\) logic with fixed points
• Representation and reticulation by quotients of MV-algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On very true
• A proof of standard completeness for Esteva and Godo's logic MTL
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• On the structure of hoops
• Advances in the theory of  L  algebras
• Fixed Point Logics
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
• Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions

This page was built for publication: An expansion of basic logic with fixed points