From semantic games to provability: the case of Gödel logic
From MaRDI portal
Publication:2118973
DOI10.1007/S11225-021-09966-XzbMATH Open1505.03064OpenAlexW3209323998MaRDI QIDQ2118973FDOQ2118973
Authors: Aleksandra Mikhaĭlovna Pavlova, Robert Freiman, Timo Lang 
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
Recommendations
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
- Game logic and its applications. II
- Some remarks on relations between proofs and games
- Giles's game and the proof theory of Łukasiewicz logic
Cites Work
- Independence-friendly logic. A game-theoretic approach
- A propositional calculus with denumerable matrix
- Closure properties of constraints
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interpolation in fuzzy logic
- Automorphisms, negations and implication operators
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Hoops and Fuzzy Logic
- Hypersequent Calculi for Godel Logics -- a Survey
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hypersequents, logical consequence and intermediate logics for concurrency
- On the (fuzzy) logical content of CADIAG-2
- Giles's game and the proof theory of Łukasiewicz logic
Cited In (6)
- An \(n\)-player semantic game for an \(n+1\)-valued logic
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic
- Games for truth
- Validity in choice logics. A game-theoretic investigation
- Title not available (Why is that?)
This page was built for publication: From semantic games to provability: the case of Gödel logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118973)
