Game theoretical semantics for some non-classical logics

Can Başkent
2016 Journal of Applied Non-Classical Logics  
Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest's Logic of Paradox, Dunn's First-Degree Entailment, Routleys' Relevant Logics, McCall's Connexive Logic and Belnap's four-valued logic. We also present a game theoretical characterisation of a translation between Logic of Paradox/Kleene's K3
more » ... S5. We underline how nonclassical logics require different verification games and prove the correctness theorems of their respective game theoretical semantics. This allows us to observe that paraconsistent logics break the classical bidirectional connection between winning strategies and truth values. ARTICLE HISTORY
doi:10.1080/11663081.2016.1225488 fatcat:r7ilqozehfae5cgg53t4hjbq4m