Paraconsistent Gödel modal logic
From MaRDI portal
Publication:2104534
DOI10.1007/978-3-031-10769-6_26OpenAlexW4289104054MaRDI QIDQ2104534
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2203.01237
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Free and projective bimodal symmetric Gödel algebras
- Paraconsistency properties in degree-preserving fuzzy logics
- Proof analysis in modal logic
- Routley star and hyperintensionality
- Fuzzy description logics under Gödel semantics
- Standard Gödel modal logics
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Metamathematics of fuzzy logic
- 40 years of FDE: an introductory overview
- Intuitive semantics for first-degree entailments and `coupled trees'
- Many-valued logic and mixed integer programming
- Residuated bilattices
- Axiomatization of crisp Gödel modal logic
- Belief based on inconsistent information
- Constraint tableaux for two-dimensional fuzzy logics
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Proof theory for fuzzy logics
- A Finite Model Property for Gödel Modal Logics
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
- Towards a Proof Theory of G\"odel Modal Logics
- How a Computer Should Think
- Constructive negation, implication, and co-implication
- Proof Systems for a Gödel Modal Logic
- JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
- Bi-modal Godel logic over [0,1-valued Kripke frames]
- Graded tableaux for Rational Pavelka Logic
- Decomposition proof systems for Gödel-Dummett logics
