Dialogue games for many-valued logics -- an overview
From MaRDI portal
Publication:1005947
DOI10.1007/S11225-008-9143-4zbMath1174.03007OpenAlexW2002134955MaRDI QIDQ1005947
Publication date: 17 March 2009
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-008-9143-4
Related Items (6)
Reasoning with graded information: the case of diagnostic rating scales in healthcare ⋮ A dialogical route to logical pluralism ⋮ Fuzzy sets and formal logics ⋮ From games to truth functions: a generalization of Giles's game ⋮ On Semantic Gamification ⋮ A temporal semantics for basic logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On vagueness, truth values and fuzzy logics
- Dialogues, strategies, and intuitionistic provability
- A game semantics for linear logic
- Vagueness, truth and logic
- A non-classical logic for physics
- Metamathematics of fuzzy logic
- Hypersequents, logical consequence and intermediate logics for concurrency
- Introduction to computability logic
- Algebraic foundations of many-valued reasoning
- Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application
- Advances and challenges in interval-valued fuzzy logic
- ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
- A propositional calculus with denumerable matrix
- An application of games to the completeness problem for formalized theories
- Łukasiewicz logic and fuzzy set theory
- Games and full completeness for multiplicative linear logic
- Hoops and Fuzzy Logic
- Automated Reasoning with Analytic Tableaux and Related Methods
- Combining Supervaluation and Degree Based Reasoning Under Vagueness
- On Ignorance and Contradiction Considered as Truth-Values
- Logic for Programming, Artificial Intelligence, and Reasoning
- New perspectives in dialogical logic
This page was built for publication: Dialogue games for many-valued logics -- an overview
