From games to truth functions: a generalization of Giles's game

DOI10.1007/s11225-014-9550-7zbMath1329.03060OpenAlexW1979701037MaRDI QIDQ2016084

Christian G. Fermüller, Christoph Roschger

Publication date: 19 June 2014

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9550-7

zbMATH Keywords

many-valued logicdialogue gamesevaluation gamestruth functionality

Mathematics Subject Classification ID

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

Related Items

Fuzzy sets and formal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abelian logic and the logics of pointed lattice-ordered varieties
• Dialogue games for many-valued logics -- an overview
• Giles's game and the proof theory of Łukasiewicz logic
• A non-classical logic for physics
• Metamathematics of fuzzy logic
• The logic of equilibrium and abelian lattice ordered groups
• Proof theory for fuzzy logics
• Hoops and Fuzzy Logic
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Logic for Programming, Artificial Intelligence, and Reasoning
• Comparative logics