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

Studia Logica最新文献

筛选
英文 中文
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$ 组合交换结构：基于 $FDE$$ 的 Paradefinite Ivlev-Like 模态逻辑案例
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-30 DOI: 10.1007/s11225-024-10121-5
Marcelo E. Coniglio
{"title":"Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$","authors":"Marcelo E. Coniglio","doi":"10.1007/s11225-024-10121-5","DOIUrl":"https://doi.org/10.1007/s11225-024-10121-5","url":null,"abstract":"<p>The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-valued non-deterministic matrices (Nmatrices) with <span>(mathcal {IDM}4)</span>, a 4-valued expansion of Belnap–Dunn’s logic <span>(FDE)</span> with an implication introduced by Pynko in 1999. In order to do this, we introduce a new methodology for combining logics which are characterized by means of swap structures, based on what we call <i>superposition</i> of snapshots. In particular, the combination of <span>(mathcal {IDM}4)</span> with <span>(Tm)</span>, the 4-valued Ivlev’s version of <b>KT</b>, will be analyzed with more details. From the semantical perspective, the idea is to combine the 4-valued swap structures (Nmatrices) for <span>(Tm)</span> (and several of its extensions) with the 4-valued twist structure (logical matrix) for <span>(mathcal {IDM}4)</span>. This superposition produces a universe of 6 snapshots, with 3 of them being designated. The multioperators over the new universe are defined by combining the specifications of the given swap and twist structures. This gives rise to 6 different paradefinite Ivlev-like modal logics, each one of them characterized by a 6-valued Nmatrix, and conservatively extending the original modal logic and <span>(mathcal {IDM}4)</span>. This important feature allows to consider the proposed construction as a genuine technique for combining logics. In addition, it is possible to define in the combined logics a classicality operator in the sense of <i>logics of evidence and truth</i> (<i>LETs</i>). A sound and complete Hilbert-style axiomatization is also presented for the 6 combined systems, as well as a Prolog program which implements the swap structures semantics for the 6 systems, producing a decision procedure for satisfiability, refutability and validity of formulas in these logics.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141867726","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 McKinsey Axiom on Weakly Transitive Frames 弱传递框架的麦肯锡公理
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-29 DOI: 10.1007/s11225-024-10145-x
Qian Chen, Minghui Ma
{"title":"The McKinsey Axiom on Weakly Transitive Frames","authors":"Qian Chen, Minghui Ma","doi":"10.1007/s11225-024-10145-x","DOIUrl":"https://doi.org/10.1007/s11225-024-10145-x","url":null,"abstract":"<p>The McKinsey axiom <span>((textrm{M}) Box Diamond prightarrow Diamond Box p)</span> has a local first-order correspondent on the class of all weakly transitive frames <span>({{mathcal {W}}}{{mathcal {T}}})</span>. It globally corresponds to Lemmon’s condition <span>(({textsf{m}}^infty ))</span> on <span>({{mathcal {W}}}{{mathcal {T}}})</span>. The formula <span>((textrm{M}))</span> is canonical over the weakly transitive modal logic <span>(textsf{wK4}={textsf{K}}oplus pwedge Box prightarrow Box Box p)</span>. The modal logic <span>(mathsf {wK4.1}=textsf{wK4}oplus textrm{M})</span> has the finite model property. The modal logics <span>(mathsf {wK4.1T}_0^n)</span> (<span>( n&gt;0)</span>) form an infinite descending chain in the interval <span>([mathsf {wK4.1},mathsf {K4.1}])</span> and each of them has the finite model property. Thus all the modal logics <span>(mathsf {wK4.1})</span> and <span>(mathsf {wK4.1T}_0^n)</span> (<span>(n&gt;0)</span>) are decidable.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141867727","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
Correction to: Alessandro Giordani, Jacek Malinowski, Hyperintensionality and Fine-grained Semantics. Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020, pp. 243+v; ISBN: 978-3-030-53486-8 (Hardcover) 117.69€, ISBN: 978-3-030-53487-5 (eBook) 93.08€ Correction to：Alessandro Giordani, Jacek Malinowski, Hyperintensionality and Fine-grained Semantics.Logic in High Definition：Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020, pp.
IF 0.6 3区 数学
Studia Logica Pub Date : 2024-07-25 DOI: 10.1007/s11225-024-10141-1
A. Parol
{"title":"Correction to: Alessandro Giordani, Jacek Malinowski, Hyperintensionality and Fine-grained Semantics. Logic in High Definition: Trends in Logical Semantics, vol. 56 of Trends in Logic, Springer, 2020, pp. 243+v; ISBN: 978-3-030-53486-8 (Hardcover) 117.69€, ISBN: 978-3-030-53487-5 (eBook) 93.08€","authors":"A. Parol","doi":"10.1007/s11225-024-10141-1","DOIUrl":"https://doi.org/10.1007/s11225-024-10141-1","url":null,"abstract":"","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141803037","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
Mathematical Structures Within Simple Type Theory 简单类型理论中的数学结构
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-23 DOI: 10.1007/s11225-024-10133-1
Samuel González-Castillo
{"title":"Mathematical Structures Within Simple Type Theory","authors":"Samuel González-Castillo","doi":"10.1007/s11225-024-10133-1","DOIUrl":"https://doi.org/10.1007/s11225-024-10133-1","url":null,"abstract":"<p>We present an extension of simple type theory that incorporates types for any kind of mathematical structure (of any order). We further extend this system allowing isomorphic structures to be identified within these types thanks to some syntactical restrictions; for this purpose, we formally define what it means for two structures to be isomorphic. We model both extensions in NFU set theory in order to prove their relative consistency.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141785142","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
Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures 通过纤维交换结构获得的形式不一致的伊夫列夫类模态逻辑
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-23 DOI: 10.1007/s11225-024-10127-z
Marcelo E. Coniglio
{"title":"Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures","authors":"Marcelo E. Coniglio","doi":"10.1007/s11225-024-10127-z","DOIUrl":"https://doi.org/10.1007/s11225-024-10127-z","url":null,"abstract":"<p>The aim of this paper is to give the first steps towards the formal study of swap structures, which are non-deterministic matrices (Nmatrices) defined over tuples of 0–1 truth values generalizing the notion of twist structures. To do this, a precise notion of clauses which axiomatize bivaluation semantics is proposed. From this specification, a swap structure is naturally induced. This formalization allows to define the combination by fibring of two given logics described by swap structures generated by clauses in a very simple way, by gathering together the formal specifications of both swap structures. We provide simple sufficient conditions to guarantee the preservation by fibring of soundness and completeness w.r.t. Hilbert calculi naturally defined from the clauses, as well as to prove that the fibring is a conservative expansion of both logics. As application examples of this technique, the combination by fibring of some non-normal Ivlev-like modal logics with paraconsistent logics in the class of <i>logics of formal inconsistency</i> (<i>LFI</i>s) are obtained, producing so several paraconsistent modal logics, each of them decidable by a single 6-valued Nmatrix. As expected, the fibring (union) of the respective Hilbert calculi provides a sound and complete axiomatization of the combined logics. More than this, the fibring is the least conservative expansion of the given logics. This technique opens interesting perspectives for combining logics characterized by finite Nmatrices represented by swap structures.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141785113","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
Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator 网格展开的无选择二元性：带否定操作符的逻辑应用
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-23 DOI: 10.1007/s11225-024-10131-3
Chrysafis Hartonas
{"title":"Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator","authors":"Chrysafis Hartonas","doi":"10.1007/s11225-024-10131-3","DOIUrl":"https://doi.org/10.1007/s11225-024-10131-3","url":null,"abstract":"<p>Constructive dualities have recently been proposed for some lattice-based algebras and a related project has been outlined by Holliday and Bezhanishvili, aiming at obtaining “choice-free spatial dualities for other classes of algebras [<span>(ldots )</span>], giving rise to choice-free completeness proofs for non-classical logics”. We present in this article a way to complete the Holliday–Bezhanishvili project (uniformly, for any normal lattice expansion). This is done by recasting in a choice-free manner recent relational representation and duality results by the author. These results addressed the general representation and duality problem for lattices with quasi-operators, extending the Jónsson–Tarski approach for BAOs, and Dunn’s follow-up approach for distributive generalized Galois logics, to contexts where distributivity may not be assumed. To illustrate, we apply the framework to lattices (and their logics) with some form or other of a (quasi)complementation operator, obtaining correspondence results and canonical extensions in relational frames and choice-free dualities for lattices with a minimal, or a Galois quasi-complement, or involutive lattices, including De Morgan algebras, as well as Ortholattices and Boolean algebras, as special cases.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141785114","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
Dynamic Logics of Diffusion and Link Changes on Social Networks 社交网络传播和链接变化的动态逻辑
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-17 DOI: 10.1007/s11225-024-10126-0
Edoardo Baccini, Zoé Christoff, Rineke Verbrugge
{"title":"Dynamic Logics of Diffusion and Link Changes on Social Networks","authors":"Edoardo Baccini, Zoé Christoff, Rineke Verbrugge","doi":"10.1007/s11225-024-10126-0","DOIUrl":"https://doi.org/10.1007/s11225-024-10126-0","url":null,"abstract":"<p>This paper introduces a comprehensive logical framework to reason about threshold-driven diffusion and threshold-driven link change in social networks. It considers both <i>monotonic dynamics</i>, where agents can only adopt new features and create new connections, and <i>non-monotonic dynamics</i>, where agents may also abandon features or cut ties. Three types of operators are combined: one capturing diffusion only, one capturing link change only, and one capturing both <i>at the same time</i>. We first characterise the models on which diffusion of a unique feature and link change stabilise, whilst discussing salient properties of stable models with multiple spreading features. Second, we show that our operators (and any combination of them) are irreplaceable, in the sense that the sequences of model updates expressed by a combination of operators cannot <i>always</i> be expressed using any other operators. Finally, we analyse classes of models on which some operators <i>can</i> be replaced.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141717903","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
Constructive Validity of a Generalized Kreisel–Putnam Rule 广义克雷塞尔-普特南规则的构造有效性
IF 0.7 3区 数学
Studia Logica Pub Date : 2024-07-15 DOI: 10.1007/s11225-024-10129-x
Ivo Pezlar
{"title":"Constructive Validity of a Generalized Kreisel–Putnam Rule","authors":"Ivo Pezlar","doi":"10.1007/s11225-024-10129-x","DOIUrl":"https://doi.org/10.1007/s11225-024-10129-x","url":null,"abstract":"<p>In this paper, we propose a computational interpretation of the generalized Kreisel–Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of BHK semantics. We will achieve this by exploiting the Curry–Howard correspondence between formulas and types. First, we inspect the inferential behavior of the Split rule in the setting of a natural deduction system for intuitionistic propositional logic. This will guide our process of formulating an appropriate program that would capture the corresponding computational content of the typed Split rule. Our investigation can also be reframed as an effort to answer the following question: is the Split rule constructively valid in the sense of BHK semantics? Our answer is positive for the Split rule as well as for its newly proposed general version called the S rule.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141717901","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
Free Constructions in Hoops via $$ell $$-Groups 通过 $$ell $$-Groups 在环中自由构造
IF 0.6 3区 数学
Studia Logica Pub Date : 2024-07-15 DOI: 10.1007/s11225-024-10128-y
Valeria Giustarini, Francesco Manfucci, Sara Ugolini
{"title":"Free Constructions in Hoops via $$ell $$-Groups","authors":"Valeria Giustarini, Francesco Manfucci, Sara Ugolini","doi":"10.1007/s11225-024-10128-y","DOIUrl":"https://doi.org/10.1007/s11225-024-10128-y","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":"141648765","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
Decidability of Inquisitive Modal Logic via Filtrations 通过过滤实现探究式模态逻辑的可判定性
IF 0.6 3区 数学
Studia Logica Pub Date : 2024-07-15 DOI: 10.1007/s11225-024-10134-0
Stipe Marić, Tin Perkov
{"title":"Decidability of Inquisitive Modal Logic via Filtrations","authors":"Stipe Marić, Tin Perkov","doi":"10.1007/s11225-024-10134-0","DOIUrl":"https://doi.org/10.1007/s11225-024-10134-0","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":"141649079","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学术官方微信