Game theoretical semantics for some non-classical logics
Article
Baskent, C. 2016. Game theoretical semantics for some non-classical logics. Journal of Applied Non-Classical Logics. 26 (3), pp. 208-239. https://doi.org/10.1080/11663081.2016.1225488
Type | Article |
---|---|
Title | Game theoretical semantics for some non-classical logics |
Authors | Baskent, C. |
Abstract | 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 and S5. We underline how non-classical 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. |
Research Group | Foundations of Computing group |
Publisher | Taylor & Francis (Routledge) |
Journal | Journal of Applied Non-Classical Logics |
ISSN | 1166-3081 |
Electronic | 1958-5780 |
Publication dates | |
Online | 02 Sep 2016 |
02 Jul 2016 | |
Publication process dates | |
Deposited | 24 Jan 2020 |
Accepted | 15 Aug 2016 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | This is an Accepted Manuscript of an article published by Taylor & Francis in Journal of Applied Non-Classical Logics on 02/09/2016, available online: http://www.tandfonline.com/10.1080/11663081.2016.1225488 |
Digital Object Identifier (DOI) | https://doi.org/10.1080/11663081.2016.1225488 |
Language | English |
https://repository.mdx.ac.uk/item/88vy8
Download files
45
total views11
total downloads5
views this month0
downloads this month