Dialogue games for many-valued logics -- an overview

DOI10.1007/s11225-008-9143-4zbMath1174.03007MaRDI QIDQ1005947

Christian G. Fermüller

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

zbMATH Keywords

fuzzy logic; many-valued logic; dialogue games; hypersequents

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B50: Many-valued logic

Related Items

A temporal semantics for basic logic, From games to truth functions: a generalization of Giles's game

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