Giles's game and the proof theory of Łukasiewicz logic

DOI10.1007/s11225-009-9185-2zbMath1185.03041OpenAlexW2168945720MaRDI QIDQ1037588

Christian G. Fermüller, George Metcalfe

Publication date: 16 November 2009

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

Full work available at URL: https://doi.org/10.1007/s11225-009-9185-2

zbMATH Keywords

fuzzy logicdialogue gamesmany-valued logicsŁukasiewicz logichypersequents

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (12)

Games for hybrid logic. From semantic games to analytic calculi ⋮ Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic ⋮ Validity in choice logics. A game-theoretic investigation ⋮ A Calculus for Rational Łukasiewicz Logic and Related Systems ⋮ On Semantic Games for Łukasiewicz Logic ⋮ Fuzzy sets and formal logics ⋮ From games to truth functions: a generalization of Giles's game ⋮ Randomized semantic games for fuzzy logics ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games ⋮ From semantic games to provability: the case of Gödel logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A game-based formal system for Ł\(_\infty\)
• Resolution and model building in the infinite-valued calculus of Łukasiewicz
• Metamathematics of fuzzy logic
• Tableaux for Łukasiewicz infinite-valued logic
• Finiteness in infinite-valued Łukasiewicz logic
• Proof theory for fuzzy logics
• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
• Semantics for fuzzy reasoning
• A constructive analysis of RM
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Proving termination with multiset orderings
• Łukasiewicz logic and fuzzy set theory
• Hoops and Fuzzy Logic
• Automated Reasoning with Analytic Tableaux and Related Methods
• Automated Reasoning with Analytic Tableaux and Related Methods
• Combining Supervaluation and Degree Based Reasoning Under Vagueness
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: Giles's game and the proof theory of Łukasiewicz logic