Constraint tableaux for two-dimensional fuzzy logics

DOI10.1007/978-3-030-86059-2_2OpenAlexW3202724075MaRDI QIDQ2142061

Sabine Frittella, Marta Bílková, Daniil Kozhemiachenko

Publication date: 25 May 2022

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

zbMATH Keywords

Łukasiewicz logicGödel logictwo-dimensional logicsconstraint tableaux

Mathematics Subject Classification ID

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

Related Items (5)

Intuitionistic propositional probability logic ⋮ Qualitative reasoning in a two-layered framework ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE ⋮ Two-layered logics for paraconsistent probabilities ⋮ Paraconsistent Gödel modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive negations and paraconsistency
• Satisfiability in many-valued sentential logic is NP-complete
• 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'
• A logic for reasoning about probabilities
• Reasoning with logical bilattices
• Many-valued logic and mixed integer programming
• Residuated bilattices
• Contradictory information: too much of a good thing
• Belief based on inconsistent information
• Probabilities with gaps and gluts
• Proof theory for fuzzy logics
• Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
• How a Computer Should Think
• Constructive negation, implication, and co-implication
• The structure of interlaced bilattices
• On Ignorance and Contradiction Considered as Truth-Values
• Constructible falsity
• Decomposition proof systems for Gödel-Dummett logics

This page was built for publication: Constraint tableaux for two-dimensional fuzzy logics