发布求助
文献互助 智能选刊 最新文献

Studia Logica最新文献

筛选
英文 中文
More Limits of Abductivism About Logic
IF 0.6 3区 数学
Studia Logica Pub Date : 2024-07-15 DOI: 10.1007/s11225-024-10130-4
Evelyn Erickson
{"title":"More Limits of Abductivism About Logic","authors":"Evelyn Erickson","doi":"10.1007/s11225-024-10130-4","DOIUrl":"https://doi.org/10.1007/s11225-024-10130-4","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141646605","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics 多值逻辑和准一致逻辑的概率语义和计算
IF 0.6 3区 数学
Studia Logica Pub Date : 2024-07-15 DOI: 10.1007/s11225-024-10132-2
Jaime Ramos, J. Rasga, C. Sernadas
{"title":"Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics","authors":"Jaime Ramos, J. Rasga, C. Sernadas","doi":"10.1007/s11225-024-10132-2","DOIUrl":"https://doi.org/10.1007/s11225-024-10132-2","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141644352","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Version of Predicate Logic with Two Variables That has an Incompleteness Property 具有不完备性的双变量谓词逻辑版本
IF 0.6 3区 数学
Studia Logica Pub Date : 2024-07-15 DOI: 10.1007/s11225-024-10124-2
Mohamed Khaled
{"title":"A Version of Predicate Logic with Two Variables That has an Incompleteness Property","authors":"Mohamed Khaled","doi":"10.1007/s11225-024-10124-2","DOIUrl":"https://doi.org/10.1007/s11225-024-10124-2","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141649409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics 弱克莱因逻辑的新博弈论语义 (GTS-2)
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-01 DOI: 10.1007/s11225-024-10113-5
Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu
{"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":"https://doi.org/10.1007/s11225-024-10113-5","url":null,"abstract":"<p>Hintikka’s game theoretical approach to semantics has been successfully applied also to some non-classical logics. A recent example is Başkent (<i>A game theoretical semantics for logics of nonsense</i>, 2020. arXiv:2009.10878), where a game theoretical semantics based on three players and the notion of <i>dominant winning strategy</i> 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.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141508715","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Sum Relation as a Primitive Concept of Mereology 和的关系是货币学的原始概念
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-01 DOI: 10.1007/s11225-024-10122-4
Rafał Gruszczyński, Dazhu Li
{"title":"The Sum Relation as a Primitive Concept of Mereology","authors":"Rafał Gruszczyński, Dazhu Li","doi":"10.1007/s11225-024-10122-4","DOIUrl":"https://doi.org/10.1007/s11225-024-10122-4","url":null,"abstract":"<p>Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the <i>part of</i> relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses <i>mereological sum</i> as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theory of mereological structures.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141512473","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Higher-Level Paradoxes and Substructural Solutions 更高层次的悖论和次结构解决方案
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-06-06 DOI: 10.1007/s11225-024-10118-0
Rashed Ahmad
{"title":"Higher-Level Paradoxes and Substructural Solutions","authors":"Rashed Ahmad","doi":"10.1007/s11225-024-10118-0","DOIUrl":"https://doi.org/10.1007/s11225-024-10118-0","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141381387","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Enriched Quantales Arising from Complete Orthomodular Lattices 由完整正交网格产生的丰富量子态
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-06-06 DOI: 10.1007/s11225-024-10120-6
S. R. Rad, Joshua Sack, Shengyang Zhong
{"title":"Enriched Quantales Arising from Complete Orthomodular Lattices","authors":"S. R. Rad, Joshua Sack, Shengyang Zhong","doi":"10.1007/s11225-024-10120-6","DOIUrl":"https://doi.org/10.1007/s11225-024-10120-6","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141378391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics 基于信息的语义学中对一致性敏感的认识论模态
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-05-21 DOI: 10.1007/s11225-024-10115-3
V. Punčochář, Marta Bílková, Sena Bozdag, Thomas Ferguson
{"title":"Consistency-Sensitive Epistemic Modalities in Information-Based Semantics","authors":"V. Punčochář, Marta Bílková, Sena Bozdag, Thomas Ferguson","doi":"10.1007/s11225-024-10115-3","DOIUrl":"https://doi.org/10.1007/s11225-024-10115-3","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141115312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
De Morgan-Płonka Sums 德摩根-普隆卡总和
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-05-21 DOI: 10.1007/s11225-024-10111-7
Thomas Randriamahazaka
{"title":"De Morgan-Płonka Sums","authors":"Thomas Randriamahazaka","doi":"10.1007/s11225-024-10111-7","DOIUrl":"https://doi.org/10.1007/s11225-024-10111-7","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141116834","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Valuation Semantics for S4 S4 的估值语义
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10100-w
Andréa M. Loparić, Cezar A. Mortari
{"title":"Valuation Semantics for S4","authors":"Andréa M. Loparić, Cezar A. Mortari","doi":"10.1007/s11225-024-10100-w","DOIUrl":"https://doi.org/10.1007/s11225-024-10100-w","url":null,"abstract":"<p>This expository paper presents an application, to the modal logic <span>S4</span>, of the valuation semantics technique proposed by Loparić for the basic normal modal logic <span>K</span>. In previous works we presented a valuation semantics for the minimal temporal logic <span>Kt</span> and several other systems modal and temporal logic. How to deal with <span>S4</span>, however, was left as an open problem—although we arrived at a working definition of <span>(A_1,ldots ,A_n)</span>-valuations, we were not able to prove an important lemma for correctness. In this paper we solve this, presenting valuations for <span>S4</span>.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882281","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信