Studia Logica最新文献_第7页

The Logic ILP for Intuitionistic Reasoning About Probability 概率直觉推理的逻辑 ILP

IF 0.7 3区数学

Studia Logica Pub Date : 2023-12-09 DOI: 10.1007/s11225-023-10084-z

Angelina Ilić-Stepić, Zoran Ognjanović, Aleksandar Perović

引用次数: 0

Representability of Kleene Posets and Kleene Lattices Kleene Posets 和 Kleene Lattices 的可表示性

IF 0.7 3区数学

Studia Logica Pub Date : 2023-12-08 DOI: 10.1007/s11225-023-10080-3

Ivan Chajda, Helmut Länger, Jan Paseka

{"title":"Representability of Kleene Posets and Kleene Lattices","authors":"Ivan Chajda, Helmut Länger, Jan Paseka","doi":"10.1007/s11225-023-10080-3","DOIUrl":"https://doi.org/10.1007/s11225-023-10080-3","url":null,"abstract":"A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the so-called normality condition. These lattices were introduced by J. A. Kalman. We extended this concept also for posets with an antitone involution. In our recent paper (Chajda, Länger and Paseka, in: Proceeding of 2022 IEEE 52th International Symposium on Multiple-Valued Logic, Springer, 2022), we showed how to construct such Kleene lattices or Kleene posets from a given distributive lattice or poset and a fixed element of this lattice or poset by using the so-called twist product construction, respectively. We extend this construction of Kleene lattices and Kleene posets by considering a fixed subset instead of a fixed element. Moreover, we show that in some cases, this generating poset can be embedded into the resulting Kleene poset. We investigate the question when a Kleene poset can be represented by a Kleene poset obtained by the mentioned construction. We show that a direct product of representable Kleene posets is again representable and hence a direct product of finite chains is representable. This does not hold in general for subdirect products, but we show some examples where it holds. We present large classes of representable and non-representable Kleene posets. Finally, we investigate two kinds of extensions of a distributive poset ({textbf{A}}), namely its Dedekind-MacNeille completion ({{,mathrm{textbf{DM}},}}({textbf{A}})) and a completion (G({textbf{A}})) which coincides with ({{,mathrm{textbf{DM}},}}({textbf{A}})) provided ({textbf{A}}) is finite. In particular we prove that if ({textbf{A}}) is a Kleene poset then its extension (G({textbf{A}})) is also a Kleene lattice. If the subset X of principal order ideals of ({textbf{A}}) is involution-closed and doubly dense in (G({textbf{A}})) then it generates (G({textbf{A}})) and it is isomorphic to ({textbf{A}}) itself.","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2023-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138556262","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 Pretabular Extensions of Relevance Logic 论关联逻辑的表前扩展

IF 0.7 3区数学

Studia Logica Pub Date : 2023-11-16 DOI: 10.1007/s11225-023-10081-2

Asadollah Fallahi, James Gordon Raftery

引用次数: 0

A Generalization of Beall’s Off-Topic Interpretation 比尔离题解释的概括

3区数学

Studia Logica Pub Date : 2023-11-14 DOI: 10.1007/s11225-023-10075-0

Yang Song, Hitoshi Omori, Jonas R. B. Arenhart, Satoshi Tojo

引用次数: 0

A Logical Theory for Conditional Weak Ontic Necessity in Branching Time 分支时间条件弱本体必然性的逻辑理论