From semantic games to provability: the case of Gödel logic
From MaRDI portal
Publication:2118973
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
- scientific article; zbMATH DE number 1670477 (Why is no real title available?)
- scientific article; zbMATH DE number 1341466 (Why is no real title available?)
- scientific article; zbMATH DE number 2042614 (Why is no real title available?)
- scientific article; zbMATH DE number 922613 (Why is no real title available?)
- A propositional calculus with denumerable matrix
- Automorphisms, negations and implication operators
- Closure properties of constraints
- Giles's game and the proof theory of Łukasiewicz logic
- Hoops and Fuzzy Logic
- Hypersequent Calculi for Godel Logics -- a Survey
- Hypersequents, logical consequence and intermediate logics for concurrency
- Independence-friendly logic. A game-theoretic approach
- Interpolation in fuzzy logic
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Logic in games
- On the (fuzzy) logical content of CADIAG-2
Cited in
(7)- 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
- Between proof and truth
- 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
- scientific article; zbMATH DE number 437512 (Why is no real title available?)
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)
