On Semantic Games for Łukasiewicz Logic

DOI10.1007/978-3-319-62864-6_10zbMath1437.03099OpenAlexW2790349206MaRDI QIDQ3299579

Ondrej Majer, Christian G. Fermüller

Publication date: 24 July 2020

Published in: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-62864-6_10

zbMATH Keywords

dialogue gamesmany-valued logicsgame-theoretic semantics

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Many-valued logic (03B50)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Giles's game and the proof theory of Łukasiewicz logic
• A non-classical logic for physics
• On witnessed models in fuzzy logic
• Essentials of Game Theory: A Concise Multidisciplinary Introduction
• Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
• Semantics for fuzzy reasoning
• A First Course in Fuzzy Logic
• Randomized game semantics for semi-fuzzy quantifiers
• Hintikka-Style Semantic Games for Fuzzy Logics
• Dialogspiele als Semantische Grundlage von Logikkalkülen