Studia Logica最新文献_第6页

Angell and McCall Meet Wansing 安格尔和麦考尔会见万辛

IF 0.7 3区数学

Studia Logica Pub Date : 2024-02-17 DOI: 10.1007/s11225-023-10083-0

Hitoshi Omori, Andreas Kapsner

引用次数: 0

Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs 有据局部有限图中有限集理论的独立性结果

IF 0.7 3区数学

Studia Logica Pub Date : 2024-02-16 DOI: 10.1007/s11225-023-10087-w

引用次数: 0

Ecumenical Propositional Tableau 全基督教命题表

IF 0.7 3区数学

Studia Logica Pub Date : 2024-02-16 DOI: 10.1007/s11225-023-10091-0

引用次数: 0

On Woodruff’s Constructive Nonsense Logic 论伍德拉夫的建构式废话逻辑

IF 0.7 3区数学

Studia Logica Pub Date : 2024-01-22 DOI: 10.1007/s11225-023-10092-z

Jonas R. B. Arenhart, Hitoshi Omori

引用次数: 0

Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator 带强一致性操作符的准一致性的证明论方面

IF 0.7 3区数学

Studia Logica Pub Date : 2024-01-13 DOI: 10.1007/s11225-023-10089-8

Victoria Arce Pistone, Martín Figallo

{"title":"Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator","authors":"Victoria Arce Pistone, Martín Figallo","doi":"10.1007/s11225-023-10089-8","DOIUrl":"https://doi.org/10.1007/s11225-023-10089-8","url":null,"abstract":"In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (LFI) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof theory of the first-order versions of such LFIs. Here, we intend to make a first step in this direction. On the other hand, the logic Ciore was developed to provide new logical systems in the study of inconsistent databases from the point of view of LFIs. An interesting fact about Ciore is that it has a strong consistency operator, that is, a consistency operator which (forward/backward) propagates inconsistency. Also, it turns out to be an algebraizable logic (in the sense of Blok and Pigozzi) that can be characterized by means of a 3-valued logical matrix. Recently, a first-order version of Ciore, namely QCiore, was defined preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. Besides, some important model-theoretic results were obtained for this logic. In this paper we study some proof–theoretic aspects of both Ciore and QCiore respectively. In first place, we introduce a two-sided sequent system for Ciore. Later, we prove that this system enjoys the cut-elimination property and apply it to derive some interesting properties. Later, we extend the above-mentioned system to first-order languages and prove completeness and cut-elimination property using the well-known Shütte’s technique.","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139463990","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

An $$omega $$ -Rule for the Logic of Provability and Its Models 可证明性逻辑及其模型的 $$omega $$ 规则

IF 0.7 3区数学

Studia Logica Pub Date : 2024-01-09 DOI: 10.1007/s11225-023-10090-1

Katsumi Sasaki, Yoshihito Tanaka

{"title":"An $$omega $$ -Rule for the Logic of Provability and Its Models","authors":"Katsumi Sasaki, Yoshihito Tanaka","doi":"10.1007/s11225-023-10090-1","DOIUrl":"https://doi.org/10.1007/s11225-023-10090-1","url":null,"abstract":"In this paper, we discuss semantical properties of the logic (textbf{GL}) of provability. The logic (textbf{GL}) is a normal modal logic which is axiomatized by the the Löb formula ( Box (Box psupset p)supset Box p ), but it is known that (textbf{GL}) can also be axiomatized by an axiom (Box psupset Box Box p) and an (omega )-rule ((Diamond ^{*})) which takes countably many premises (phi supset Diamond ^{n}top ) ((nin omega )) and returns a conclusion (phi supset bot ). We show that the class of transitive Kripke frames which validates ((Diamond ^{*})) and the class of transitive Kripke frames which strongly validates ((Diamond ^{*})) are equal, and that the following three classes of transitive Kripke frames, the class which validates ((Diamond ^{*})), the class which weakly validates ((Diamond ^{*})), and the class which is defined by the Löb formula, are mutually different, while all of them characterize (textbf{GL}). This gives an example of a proof system P and a class C of Kripke frames such that P is sound and complete with respect to C but the soundness cannot be proved by simple induction on the height of the derivations in P. We also show Kripke completeness of the proof system with ((Diamond ^{*})) in an algebraic manner. As a corollary, we show that the class of modal algebras which is defined by equations (Box xle Box Box x) and (bigwedge _{nin omega }Diamond ^{n}1=0) is not a variety.","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139412978","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

Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity 纳尔逊的 "核 "与 "核"：超越不可逆性的扭曲构造

IF 0.7 3区数学

Studia Logica Pub Date : 2024-01-09 DOI: 10.1007/s11225-023-10088-9

引用次数: 0

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation 直觉逻辑与古典命题逻辑的结合：根岑化和克雷格插值法

IF 0.7 3区数学

Studia Logica Pub Date : 2024-01-06 DOI: 10.1007/s11225-023-10067-0

{"title":"Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation","authors":"","doi":"10.1007/s11225-023-10067-0","DOIUrl":"https://doi.org/10.1007/s11225-023-10067-0","url":null,"abstract":"<h3>Abstract</h3> This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus (textsf{G}(textbf{C}+textbf{J})) is proposed. An approximate idea of obtaining (textsf{G}(textbf{C}+textbf{J})) is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus (textsf{G}(textbf{C}+textbf{J})) enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system (mathbf {C+J}) proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996).","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139375740","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

Quineanism, Noneism and Metaphysical Equivalence 奎因主义、无主义和形而上学等价性

IF 0.7 3区数学

Studia Logica Pub Date : 2023-12-09 DOI: 10.1007/s11225-023-10085-y

Bruno Jacinto, Javier Belastegui

引用次数: 0

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology 逻辑相联性、相联性和相联主义：术语说明

IF 0.7 3区数学

Studia Logica Pub Date : 2023-12-09 DOI: 10.1007/s11225-023-10082-1

Heinrich Wansing, Hitoshi Omori

引用次数: 0