From truth degree comparison games to sequents-of-relations calculi for Gödel logic

DOI10.1007/s11787-022-00300-0zbMath1500.03010OpenAlexW4221129131MaRDI QIDQ2169133

Timo Lang, Christian G. Fermüller, Alexandra Pavlova

Publication date: 1 September 2022

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

Full work available at URL: https://doi.org/10.1007/s11787-022-00300-0

zbMATH Keywords

fuzzy logicGödel logicanalytic calculussemantic gamesprovability game

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Games involving topology, set theory, or logic (91A44) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• 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
• A non-classical logic for physics
• Hypersequents, logical consequence and intermediate logics for concurrency
• A propositional calculus with denumerable matrix
• Hypersequent Calculi for Godel Logics -- a Survey
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• The Complexity of Propositional Proofs
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: From truth degree comparison games to sequents-of-relations calculi for Gödel logic