Abstract
AbstractHintikka’s game theoretical approach to semantics has been successfully applied also to some non-classical logics. A recent example is Başkent (A game theoretical semantics for logics of nonsense, 2020. arXiv:2009.10878), where a game theoretical semantics based on three players and the notion of dominant winning strategy is devised to fit both Bochvar and Halldén’s logics of nonsense, which represent two basic systems of the family of weak Kleene logics. In this paper, we present and discuss a new game theoretic semantics for Bochvar and Halldén’s logics, GTS-2, and show how it generalizes to a broader family of logics of variable inclusions.
Funder
Università degli Studi di Padova
Publisher
Springer Science and Business Media LLC
Reference39 articles.
1. Barrio, E., F. Pailos, and D. Szmuc, A cartography of logics of formal inconsistency and truth. Unpublished Manuscript, 2016.
2. Başkent, C., Game theoretical semantics for some non-classical logics, Journal of Applied Non-Classical Logics 26(3):208–239, 2016.
3. Başkent, C., A game theoretical semantics for logics of nonsense. arXiv preprint arXiv:2009.10878, 2020.
4. Beall, J., Off-topic: A new interpretation of weak-kleene logic, The Australasian Journal of Logic 13(6):136–142, 2016.
5. Bochvar, D., On a three-valued calculus and its application in the analysis of the paradoxes of the extended functional calculus, Matamaticheskii Sbornik 4:287–308, 1938.