Game theoretical semantics for paraconsistent logics

DOI10.1007/978-3-662-48561-3_2MaRDI QIDQ3457682zbMATH OpenOpenAlexFDO

Authors Can Başkent

Publication date 17 December 2015

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48561-3_2

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Applications of game theory (91A80)

Recommendations

• Game theoretical semantics for some non-classical logics
• A game semantics for system P
• Game-theoretic semantics for non-distributive logics
• scientific article; zbMATH DE number 2236605
• Game theoretical semantic for relevant logic

Cites work

• An introduction to non-classical logic. From if to is
• Between proof and truth
• Classical negation and game-theoretical semantics
• First degree entailments
• Games as formal tools versus games as explanations in logic and science
• scientific article; zbMATH DE number 1472845 (Why is no real title available?)
• scientific article; zbMATH DE number 1932899 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• scientific article; zbMATH DE number 2236605 (Why is no real title available?)
• Independence-friendly logic. A game-theoretic approach
• Intuitive semantics for first-degree entailments and `coupled trees'
• On the theory of inconsistent formal systems
• Partiality and games: Propositional logic
• The logic of paradox
• The Semantics of First Degree Entailment
• Three-valued logics in modal logic

Cited in

(17)

• Finite games for a predicate logic without contractions
• A parallel game semantics for linear logic
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
• Game theoretical semantic for relevant logic
• Truth in dialogue logic and game-theoretical semantics (GTS)
• Parity Games and Propositional Proofs
• Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
• A Game Semantics for Grz
• scientific article; zbMATH DE number 5734939 (Why is no real title available?)
• Game theoretical semantics for some non-classical logics
• The Parallel Intensionally Fully Abstract Games Model of PCF
• A game theoretical semantics for logics of nonsense
• A game semantics for system P
• Parity Games and Propositional Proofs
• Automated Reasoning with Analytic Tableaux and Related Methods
• Game-theoretic semantics for non-distributive logics
• The Ceteris Paribus Structure of Logics of Game Forms

This page was built for publication: Game theoretical semantics for paraconsistent logics

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