Constraint tableaux for two-dimensional fuzzy logics
From MaRDI portal
Publication:2142061
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
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
