首页 > 最新文献

Studia Logica最新文献

英文 中文
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic 非反身胡言乱语:准完全弱克莱因逻辑的证明理论
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-03-18 DOI: 10.1007/s11225-023-10086-x

Abstract

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic ‘of nonsense’ introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic (textbf{K}_{textbf{3}}^{textbf{w}}) by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (iii) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules.

摘要 我们的目的是提供一种时序微积分,它的外部结果关系与德米特里-波赫瓦尔(Dmitry Bochvar)提出的三值准完全逻辑 "无稽之谈"(of nonsense)相吻合,并由斯蒂芬-克莱因(Stephen C. Kleene)作为弱克莱因逻辑(textbf{K}_{textbf{3}}^{textbf{w}}/)独立提出。Kleene.这种微积分的主要特点是:(i) 它是非反身的,即 "同一性"(Identity)不作为显式规则(尽管它的一种带前提的限制形式是可推导的);(ii) 它包括不附加变量包含条件的规则;(iii) 它是混合的,因为它既包括左运算引入规则,也包括右运算引入规则,还包括消元规则。
{"title":"Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic","authors":"","doi":"10.1007/s11225-023-10086-x","DOIUrl":"https://doi.org/10.1007/s11225-023-10086-x","url":null,"abstract":"<h3>Abstract</h3> <p>Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic ‘of nonsense’ introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic <span> <span>(textbf{K}_{textbf{3}}^{textbf{w}})</span> </span> by Stephen C. Kleene. The main features of this calculus are (i) that it is <em>non-reflexive</em>, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where <em>no variable-inclusion conditions</em> are attached; and (iii) that it is <em>hybrid</em>, insofar as it includes both left and right operational introduction as well as elimination rules.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"2 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140156137","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
Finite Hilbert Systems for Weak Kleene Logics 弱克莱因逻辑的有限希尔伯特系统
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-03-16 DOI: 10.1007/s11225-023-10079-w

Abstract

Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar–Kleene logics, we modify them by replacing the multiple-conclusion rules with carefully selected single-conclusion ones. In this way we manage to introduce the first finite Hilbert-style single-conclusion axiomatizations for these logics.

摘要 多重结论希尔伯特式系统使我们能够对有限矩阵定义的每种逻辑进行有限公理化。在获得了 Paraconsistent Weak Kleene 和 Bochvar-Kleene 逻辑的公理化之后,我们用精心挑选的单结论规则取代多结论规则,对它们进行了修改。这样,我们就为这些逻辑引入了第一个有限希尔伯特式的单结论公理化。
{"title":"Finite Hilbert Systems for Weak Kleene Logics","authors":"","doi":"10.1007/s11225-023-10079-w","DOIUrl":"https://doi.org/10.1007/s11225-023-10079-w","url":null,"abstract":"<h3>Abstract</h3> <p>Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar–Kleene logics, we modify them by replacing the multiple-conclusion rules with carefully selected single-conclusion ones. In this way we manage to introduce the first <em>finite</em> Hilbert-style single-conclusion axiomatizations for these logics.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140156160","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
Jaśkowski and the Jains 雅斯科夫斯基和耆那教徒
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-03-13 DOI: 10.1007/s11225-024-10096-3
Graham Priest

In 1948 Jaśkowski introduced the first discussive logic. The main technical idea was to take what holds to be what is true at some possible world. Some 2,000 years earlier, Jain philosophers had advocated a similar idea, in their doctrine of syādvāda. Of course, these philosophers had no knowledge of contemporary logical notions; but the techniques pioneered by Jaśkowski can be deployed to make the Jain ideas mathematically precise. Moreover, Jain ideas suggest a new family of many-valued discussive logics. In this paper, I will explain all these matters.

1948 年,雅斯科夫斯基提出了第一个讨论式逻辑。其主要技术思想是,在某个可能的世界中,所持的东西就是真实的东西。大约 2000 年前,耆那教哲学家在他们的 syādvāda 学说中就提出了类似的观点。当然,这些哲学家并不了解当代的逻辑概念;但雅斯科夫斯基开创的技术可以使耆那教思想在数学上更加精确。此外,耆那教思想还提出了一个多值讨论逻辑的新家族。在本文中,我将解释所有这些问题。
{"title":"Jaśkowski and the Jains","authors":"Graham Priest","doi":"10.1007/s11225-024-10096-3","DOIUrl":"https://doi.org/10.1007/s11225-024-10096-3","url":null,"abstract":"<p>In 1948 Jaśkowski introduced the first discussive logic. The main technical idea was to take what holds to be what is true at some possible world. Some 2,000 years earlier, Jain philosophers had advocated a similar idea, in their doctrine of <i>syādvāda</i>. Of course, these philosophers had no knowledge of contemporary logical notions; but the techniques pioneered by Jaśkowski can be deployed to make the Jain ideas mathematically precise. Moreover, Jain ideas suggest a new family of many-valued discussive logics. In this paper, I will explain all these matters.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"43 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140115858","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
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic 准布尔模态逻辑的克里普克完备性和序列微积分
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-03-06 DOI: 10.1007/s11225-024-10095-4

Abstract

Quasi-Boolean modal algebras are quasi-Boolean algebras with a modal operator satisfying the interaction axiom. Sequential quasi-Boolean modal logics and the relational semantics are introduced. Kripke-completeness for some quasi-Boolean modal logics is shown by the canonical model method. We show that every descriptive persistent quasi-Boolean modal logic is canonical. The finite model property of some quasi-Boolean modal logics is proved. A cut-free Gentzen sequent calculus for the minimal quasi-Boolean logic is developed and we show that it has the Craig interpolation property.

摘要 准布尔模态逻辑是具有满足交互公理的模态算子的准布尔模态逻辑。介绍了顺序准布尔模态逻辑和关系语义。用典型模型法证明了一些准布尔模态逻辑的克里普克完备性。我们证明了每一个描述性持久准布尔模态逻辑都是典型的。证明了一些准布尔模态逻辑的有限模型性质。我们为最小准布尔逻辑建立了一个无切割的根岑序列微积分,并证明它具有克雷格插值特性。
{"title":"Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic","authors":"","doi":"10.1007/s11225-024-10095-4","DOIUrl":"https://doi.org/10.1007/s11225-024-10095-4","url":null,"abstract":"<h3>Abstract</h3> <p>Quasi-Boolean modal algebras are quasi-Boolean algebras with a modal operator satisfying the interaction axiom. Sequential quasi-Boolean modal logics and the relational semantics are introduced. Kripke-completeness for some quasi-Boolean modal logics is shown by the canonical model method. We show that every descriptive persistent quasi-Boolean modal logic is canonical. The finite model property of some quasi-Boolean modal logics is proved. A cut-free Gentzen sequent calculus for the minimal quasi-Boolean logic is developed and we show that it has the Craig interpolation property.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"22 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140046758","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
Variations on the Kripke Trick 克里普克伎俩的变体
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-03-06 DOI: 10.1007/s11225-023-10093-y

Abstract

In the early 1960s, to prove undecidability of monadic fragments of sublogics of the predicate modal logic (textbf{QS5}) that include the classical predicate logic (textbf{QCl}) , Saul Kripke showed how a classical atomic formula with a binary predicate letter can be simulated by a monadic modal formula. We consider adaptations of Kripke’s simulation, which we call the Kripke trick, to various modal and superintuitionistic predicate logics not considered by Kripke. We also discuss settings where the Kripke trick does not work and where, as a result, decidability of monadic modal predicate logics can be obtained.

摘要 在20世纪60年代早期,为了证明包含经典谓词逻辑(textbf{QCl})的谓词模态逻辑子逻辑的单元片段的不可判定性,索尔-克里普克展示了带有二元谓词信的经典原子式如何能够被单元模态式所模拟。我们考虑了克里普克的模拟(我们称之为克里普克技巧)在克里普克未考虑的各种模态逻辑和超直觉谓词逻辑中的适应性。我们还讨论了克里普克诀窍不起作用的情形,在这些情形中,可以得到一元模态谓词逻辑的可解性。
{"title":"Variations on the Kripke Trick","authors":"","doi":"10.1007/s11225-023-10093-y","DOIUrl":"https://doi.org/10.1007/s11225-023-10093-y","url":null,"abstract":"<h3>Abstract</h3> <p>In the early 1960s, to prove undecidability of monadic fragments of sublogics of the predicate modal logic <span> <span>(textbf{QS5})</span> </span> that include the classical predicate logic <span> <span>(textbf{QCl})</span> </span>, Saul Kripke showed how a classical atomic formula with a binary predicate letter can be simulated by a monadic modal formula. We consider adaptations of Kripke’s simulation, which we call the Kripke trick, to various modal and superintuitionistic predicate logics not considered by Kripke. We also discuss settings where the Kripke trick does not work and where, as a result, decidability of monadic modal predicate logics can be obtained.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"272 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140046573","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
On Geometric Implications 几何意义
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-03-06 DOI: 10.1007/s11225-023-10094-x

Abstract

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in Akbar Tabatabai (Implication via spacetime. In: Mathematics, logic, and their philosophies: essays in honour of Mohammad Ardeshir, pp 161–216, 2021). Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category ({mathcal {S}}) , provided that ({mathcal {S}}) has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication.

摘要 众所周知,虽然拓扑空间开集的正集是一个海廷代数,但其海廷蕴涵在连续函数的反象下并不一定稳定,因此不是一个几何概念。这让我们不禁要问,是否有任何稳定的蕴涵族可以安全地称为几何概念?在本文中,我们将首先回顾阿克巴-塔巴塔拜(Akbar Tabatabai)在《通过时空的蕴涵》(Implication via spacetime.In:数学、逻辑及其哲学:纪念穆罕默德-阿德希尔的论文集》,第 161-216 页,2021 年)。然后,我们将使用较弱版本的分类纤度来定义空间对类别的几何性和给定空间类别的蕴涵。我们将把开不可还原(闭不可还原)映射子类上最大的几何范畴确定为通常注入式开(闭)映射的一般化。利用这种识别,我们将描述在给定范畴({/mathcal {S}}/)上的所有几何范畴,前提是({/mathcal {S}}/)具有一些基本的闭合性质。特别地,我们将证明在空间的全范畴上不存在非难的几何范畴。最后,由于我们确定的意义本身也很有趣,我们将花一些时间研究它们的代数性质。首先,我们将使用米田式的论证来提供一个表示定理,使蕴涵成为 "邻接式对 "的一部分。然后,我们将利用这一结果为任意蕴涵提供克里普克式的表示。
{"title":"On Geometric Implications","authors":"","doi":"10.1007/s11225-023-10094-x","DOIUrl":"https://doi.org/10.1007/s11225-023-10094-x","url":null,"abstract":"<h3>Abstract</h3> <p>It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in Akbar Tabatabai (Implication via spacetime. In: Mathematics, logic, and their philosophies: essays in honour of Mohammad Ardeshir, pp 161–216, 2021). Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category <span> <span>({mathcal {S}})</span> </span>, provided that <span> <span>({mathcal {S}})</span> </span> has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"13 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140046803","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
Angell and McCall Meet Wansing 安格尔和麦考尔会见万辛
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-02-17 DOI: 10.1007/s11225-023-10083-0
Hitoshi Omori, Andreas Kapsner

In this paper, we introduce a new logic, which we call AM3. It is a connexive logic that has several interesting properties, among them being strongly connexive and validating the Converse Boethius Thesis. These two properties are rather characteristic of the difference between, on the one hand, Angell and McCall’s CC1 and, on the other, Wansing’s C. We will show that in other aspects, as well, AM3 combines what are, arguably, the strengths of both CC1 and C. It also allows us an interesting look at how connexivity and the intuitionistic understanding of negation relate to each other. However, some problems remain, and we end by pointing to a large family of weaker logics that AM3 invites us to further explore.

在本文中,我们介绍了一种新的逻辑,称之为 AM3。它是一种具有几个有趣性质的连通逻辑,其中包括强连通性和验证了匡衡波爱修斯定理。这两个特性是安格尔和麦考尔的 CC1 与万辛的 C 之间的区别。我们将证明,在其他方面,AM3 也结合了 CC1 和 C 的优点。然而,一些问题依然存在,我们最后指出了AM3中的一大批弱逻辑,并邀请我们进一步探讨。
{"title":"Angell and McCall Meet Wansing","authors":"Hitoshi Omori, Andreas Kapsner","doi":"10.1007/s11225-023-10083-0","DOIUrl":"https://doi.org/10.1007/s11225-023-10083-0","url":null,"abstract":"<p>In this paper, we introduce a new logic, which we call <b>AM3</b>. It is a connexive logic that has several interesting properties, among them being <i>strongly connexive</i> and validating the <i>Converse Boethius Thesis</i>. These two properties are rather characteristic of the difference between, on the one hand, Angell and McCall’s <b>CC1</b> and, on the other, Wansing’s <b>C</b>. We will show that in other aspects, as well, <b>AM3</b> combines what are, arguably, the strengths of both <b>CC1</b> and <b>C</b>. It also allows us an interesting look at how connexivity and the intuitionistic understanding of negation relate to each other. However, some problems remain, and we end by pointing to a large family of weaker logics that <b>AM3</b> invites us to further explore.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"3 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139768159","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
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs 有据局部有限图中有限集理论的独立性结果
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-02-16 DOI: 10.1007/s11225-023-10087-w

Abstract

We consider all combinatorially possible systems corresponding to subsets of finite set theory (i.e., Zermelo-Fraenkel set theory without the axiom of infinity) and for each of them either provide a well-founded locally finite graph that is a model of that theory or show that this is impossible. To that end, we develop the technique of axiom closure of graphs.

摘要 我们考虑了与有限集合论(即不含无穷公理的 Zermelo-Fraenkel 集合论)子集相对应的所有组合上可能的系统,并为其中的每一个系统提供了一个作为该理论模型的基础良好的局部有限图,或者证明这是不可能的。为此,我们开发了图的公理闭包技术。
{"title":"Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs","authors":"","doi":"10.1007/s11225-023-10087-w","DOIUrl":"https://doi.org/10.1007/s11225-023-10087-w","url":null,"abstract":"<h3>Abstract</h3> <p>We consider all combinatorially possible systems corresponding to subsets of finite set theory (i.e., Zermelo-Fraenkel set theory without the axiom of infinity) and for each of them either provide a well-founded locally finite graph that is a model of that theory or show that this is impossible. To that end, we develop the technique of <em>axiom closure of graphs</em>.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"26 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139773637","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
Ecumenical Propositional Tableau 全基督教命题表
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-02-16 DOI: 10.1007/s11225-023-10091-0

Abstract

Ecumenical logic aims to peacefully join classical and intuitionistic logic systems, allowing for reasoning about both classical and intuitionistic statements. This paper presents a semantic tableau for propositional ecumenical logic and proves its soundness and completeness concerning Ecumenical Kripke models. We introduce the Ecumenical Propositional Tableau ( (E_T) ) and demonstrate its effectiveness in handling mixed statements.

摘要 普世逻辑旨在将经典逻辑系统与直觉逻辑系统和平地结合起来,允许对经典语句和直觉语句进行推理。本文提出了普世命题逻辑的语义表,并证明了其关于普世克里普克模型的合理性和完备性。我们介绍了普世命题表(Ecumenical Propositional Tableau),并证明了它在处理混合语句时的有效性。
{"title":"Ecumenical Propositional Tableau","authors":"","doi":"10.1007/s11225-023-10091-0","DOIUrl":"https://doi.org/10.1007/s11225-023-10091-0","url":null,"abstract":"<h3>Abstract</h3> <p>Ecumenical logic aims to peacefully join classical and intuitionistic logic systems, allowing for reasoning about both classical and intuitionistic statements. This paper presents a semantic tableau for propositional ecumenical logic and proves its soundness and completeness concerning Ecumenical Kripke models. We introduce the Ecumenical Propositional Tableau (<span> <span>(E_T)</span> </span>) and demonstrate its effectiveness in handling mixed statements.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"34 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139768212","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
On Woodruff’s Constructive Nonsense Logic 论伍德拉夫的建构式废话逻辑
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-01-22 DOI: 10.1007/s11225-023-10092-z
Jonas R. B. Arenhart, Hitoshi Omori

Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger.

索伦-哈尔登(Sören Halldén)的无意义逻辑是文献中最著名的多值逻辑之一。在本文中,我们将讨论彼得-伍德鲁夫(Peter Woodruff)在建构主义逻辑基础之上推进这一逻辑版本的尝试。我们首先回顾伍德鲁夫系统的基本原理,并介绍其一些显著特点。在为这些困难提供可能的解决方案的过程中,我们讨论了伍德拉夫体系与汉斯-赫茨伯格(Hans Herzberger)提出的多值逻辑二维语义学之间的关系。
{"title":"On Woodruff’s Constructive Nonsense Logic","authors":"Jonas R. B. Arenhart, Hitoshi Omori","doi":"10.1007/s11225-023-10092-z","DOIUrl":"https://doi.org/10.1007/s11225-023-10092-z","url":null,"abstract":"<p>Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"116 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139515405","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
期刊
Studia Logica
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1