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

DOI10.1007/S11225-021-09966-XzbMATH Open1505.03064OpenAlexW3209323998MaRDI QIDQ2118973FDOQ2118973

Timo Lang, Robert Freiman, Aleksandra Mikhaĭlovna 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 logicanalytic calculussemantic gamesprovability gameGödel logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites Work

• Title not available (Why is that?)
• 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 (4)

• 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
• 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)