Paraconsistent Gödel modal logic

DOI10.1007/978-3-031-10769-6_26MaRDI QIDQ2104534zbMATH OpenOpenAlexFDO

Authors Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2203.01237

zbMATH Keywords

constraint tableauxGödel logicmodal logicstwo-dimensional logics

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• 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
• How a Computer Should Think
• 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?)
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• 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

(6)

• Paraconsistent logic from a modal viewpoint
• scientific article; zbMATH DE number 910430 (Why is no real title available?)
• Paraconsistent G\"{o}del modal logic
• A Gödel modal logic over witnessed crisp models
• Crisp bi-Gödel modal logic and its paraconsistent expansion
• Fuzzy bi-Gödel modal logic and its paraconsistent relatives

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)