From games to truth functions: a generalization of Giles's game
From MaRDI portal
Publication:2016084
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
Related Items
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