From semantic games to provability: the case of Gödel logic

DOI10.1007/s11225-021-09966-xzbMath1505.03064OpenAlexW3209323998MaRDI QIDQ2118973

Timo Lang, Robert Freiman, Alexandra Pavlova

Publication date: 23 March 2022

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

Full work available at URL: https://doi.org/10.1007/s11225-021-09966-x

zbMATH Keywords

Fuzzy logicGödel logicanalytic calculussemantic gamesprovability game

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (1)

Validity in choice logics. A game-theoretic investigation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the (fuzzy) logical content of CADIAG-2
• Giles's game and the proof theory of Łukasiewicz logic
• Hypersequents, logical consequence and intermediate logics for concurrency
• Interpolation in fuzzy logic
• Automorphisms, negations and implication operators
• A propositional calculus with denumerable matrix
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Closure properties of constraints
• Hoops and Fuzzy Logic
• Hypersequent Calculi for Godel Logics -- a Survey

This page was built for publication: From semantic games to provability: the case of Gödel logic