Paraconsistent Gödel modal logic
From MaRDI portal
Publication:2104534
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 1349997 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 922613 (Why is no real title available?)
- scientific article; zbMATH DE number 3106019 (Why is no real title available?)
- 40 years of FDE: an introductory overview
- A finite model property for Gödel modal logics
- Axiomatization of crisp Gödel modal logic
- Belief based on inconsistent information
- Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
- Constraint tableaux for two-dimensional fuzzy logics
- Constructive negation, implication, and co-implication
- Decomposition proof systems for Gödel-Dummett logics
- Free and projective bimodal symmetric Gödel algebras
- Fuzzy description logics under Gödel semantics
- Graded tableaux for Rational Pavelka Logic
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- How a Computer Should Think
- Intuitive semantics for first-degree entailments and `coupled trees'
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
- Many-valued logic and mixed integer programming
- Metamathematics of fuzzy logic
- Modal logic
- Modal logics of uncertainty with two-layer syntax: a general completeness theorem
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Paraconsistency properties in degree-preserving fuzzy logics
- Proof analysis in modal logic
- Proof systems for a Gödel modal logic
- Proof theory for fuzzy logics
- Residuated bilattices
- Routley star and hyperintensionality
- Standard Gödel modal logics
- Towards a proof theory of Gödel modal logics
Cited in
(3)
This page was built for publication: Paraconsistent Gödel modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104534)