From truth degree comparison games to sequents-of-relations calculi for Gödel logic
From MaRDI portal
Publication:2169133
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
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