A game-based formal system for Ł\(_\infty\)

DOI10.1007/BF00493672zbMath0417.03008OpenAlexW1582789112MaRDI QIDQ754864

Robin Giles, Alan Adamson

Publication date: 1979

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

Full work available at URL: https://doi.org/10.1007/bf00493672

zbMATH Keywords

completenessmany-valued logicequalityaxiomatizabilitydecision procedure for validitygame-theoretic motivationHerbrand-type theoremLukasiewicz predicate calculusLukasiewicz propositional calculus

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

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

Cites Work

• Unnamed Item
• Fragments of Many-Valued Statement Calculi
• Axiomatizability of some many valued predicate calculi
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Łukasiewicz logic and fuzzy set theory
• Continuous Model Theory. (AM-58)
• Beiträge zum Metaaussagenkalkül I
• A theorem about infinite-valued sentential logic