Paraconsistent Gödel modal logic

DOI10.1007/978-3-031-10769-6_26OpenAlexW4289104054MaRDI QIDQ2104534FDOQ2104534

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

Publication date: 7 December 2022

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

zbMATH Keywords

modal logicstwo-dimensional logicsconstraint tableauxGödel logic

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Proof theory for fuzzy logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Title not available (Why is that?)
• Proof analysis in modal logic
• Free and projective bimodal symmetric Gödel algebras
• Constructive negation, implication, and co-implication
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Paraconsistency properties in degree-preserving fuzzy logics
• Many-valued logic and mixed integer programming
• Title not available (Why is that?)
• Fuzzy description logics under Gödel semantics
• JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
• Standard Gödel modal logics
• How a Computer Should Think
• Towards a Proof Theory of G\"odel Modal Logics
• 40 years of FDE: an introductory overview
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Title not available (Why is that?)
• Routley star and hyperintensionality
• Decomposition proof systems for Gödel-Dummett logics
• A Finite Model Property for Gödel Modal Logics
• Proof systems for a Gödel modal logic
• Belief based on inconsistent information
• Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
• Bi-modal Godel logic over [0,1]-valued Kripke frames
• Title not available (Why is that?)
• Residuated bilattices
• Axiomatization of crisp Gödel modal logic
• Constraint tableaux for two-dimensional fuzzy logics
• Graded tableaux for Rational Pavelka Logic

Cited In (3)

• Title not available (Why is that?)
• Paraconsistent G\"{o}del modal logic
• Paraconsistent logic from a modal viewpoint

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)