弱克莱因逻辑的新博弈论语义 (GTS-2)

Pub Date : 2024-07-01 DOI:10.1007/s11225-024-10113-5

Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu

{"title":"弱克莱因逻辑的新博弈论语义 (GTS-2)","authors":"Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu","doi":"10.1007/s11225-024-10113-5","DOIUrl":null,"url":null,"abstract":"Hintikka’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.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics\",\"authors\":\"Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu\",\"doi\":\"10.1007/s11225-024-10113-5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Hintikka’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.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s11225-024-10113-5\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s11225-024-10113-5","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

欣蒂卡的博弈论语义学方法也成功地应用于一些非经典逻辑。最近的一个例子是 Başkent (A game theoretical semantics for logics of nonsense, 2020. arXiv:2009.10878)，其中设计了一种基于三个玩家和占优获胜策略概念的博弈论语义，以适应 Bochvar 和 Halldén 的无意义逻辑，它们代表了弱克莱因逻辑家族的两个基本系统。在本文中，我们提出并讨论了适用于 Bochvar 和 Halldén 逻辑的新博弈论语义 GTS-2，并展示了它如何推广到更广泛的可变夹杂逻辑家族。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics

Hintikka’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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助