A game-based formal system for Ł_

DOI10.1007/BF00493672zbMATH Open0417.03008OpenAlexW1582789112MaRDI QIDQ754864FDOQ754864

Authors: Alan Adamson, Robin Giles 

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)

Cites Work

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

Cited In (1)

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

This page was built for publication: A game-based formal system for Ł\(_\infty\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q754864)