{"title":"Meaning is Use: the Case of Propositional Identity","authors":"Patrycja Kupś, Szymon Chlebowski","doi":"10.18778/0138-0680.2024.05","DOIUrl":"https://doi.org/10.18778/0138-0680.2024.05","url":null,"abstract":"We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination rules as basic approach.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141123010","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Free Spectra of Equivalential Algebras with Conjunction on Dense Elements","authors":"Sławomir Przybyło, K. Słomczyńska","doi":"10.18778/0138-0680.2024.08","DOIUrl":"https://doi.org/10.18778/0138-0680.2024.08","url":null,"abstract":"We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety. Moreover, we describe the decomposition of free algebras into directly indecomposable factors.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141121533","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On pre-Hilbert and positive implicative pre-Hilbert algebras","authors":"Andrzej Walendziak","doi":"10.18778/0138-0680.2024.07","DOIUrl":"https://doi.org/10.18778/0138-0680.2024.07","url":null,"abstract":"In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been inspired by Henkin's Positive Implicative Logic. Their properties and characterizations are investigated. Some important results and examples are given. Moreover, positive implicative pre-Hilbert algebras are introduced and studied, their connections with some algebras of logic are presented. The hierarchies existing between the classes of algebras considered here are shown.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141119130","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Borzooei, M. Aaly Kologani, M. Mohseni Takallo, Y. B. Jun
{"title":"Fuzzy Sub-Equality Algebras Based on Fuzzy Points","authors":"R. Borzooei, M. Aaly Kologani, M. Mohseni Takallo, Y. B. Jun","doi":"10.18778/0138-0680.2023.31","DOIUrl":"https://doi.org/10.18778/0138-0680.2023.31","url":null,"abstract":"In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were provided by using such concepts. We defined the concepts of ((in, in)) and ((in, in! vee , {q}))-fuzzy ideals of equality algebras, discussed some properties, and found some equivalent definitions of them. In addition, we investigated the relation between different kinds of ((alpha,beta))-fuzzy subalgebras and ((alpha,beta))-fuzzy ideals on equality algebras. Also, by using the notion of ((in, in))-fuzzy ideal, we defined two equivalence relations on equality algebras and we introduced an order on classes of (X), and we proved that the set of all classes of (X) by these order is a poset.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139174604","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Linear Abelian Modal Logic","authors":"Hamzeh Mohammadi","doi":"10.18778/0138-0680.2023.30","DOIUrl":"https://doi.org/10.18778/0138-0680.2023.30","url":null,"abstract":"A many-valued modal logic, called linear abelian modal logic (rm {mathbf{LK(A)}}) is introduced as an extension of the abelian modal logic (rm mathbf{K(A)}). Abelian modal logic (rm mathbf{K(A)}) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic (rm mathbf{LK(A)}) is axiomatized by extending (rm mathbf{K(A)}) with the modal axiom schemas (Box(varphiveepsi)rightarrow(BoxvarphiveeBoxpsi)) and ((BoxvarphiwedgeBoxpsi)rightarrowBox(varphiwedgepsi)). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization is investigated.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138996136","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"L-Modules","authors":"S. Saidi Goraghani, Rajab Ali Borzooei","doi":"10.18778/0138-0680.2023.27","DOIUrl":"https://doi.org/10.18778/0138-0680.2023.27","url":null,"abstract":"In this paper, considering L-algebras, which include a significant number of other algebraic structures, we present a definition of modules on L-algebras (L-modules). Then we provide some examples and obtain some results on L-modules. Also, we present definitions of prime ideals of L-algebras and L-submodules (prime L-submodules) of L-modules, and investigate the relationship between them. Finally, by proving a number of theorems, we provide some conditions for having prime L-submodules.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138604431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Some Logics in the Vicinity of Interpretability Logics","authors":"S. Celani","doi":"10.18778/0138-0680.2023.26","DOIUrl":"https://doi.org/10.18778/0138-0680.2023.26","url":null,"abstract":"In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic (mathbf{IL}). We will introduce the logics (mathbf{BIL}) and (mathbf{BIL}^{+}) in the propositional language with a modal operator (square) and a binary operator (Rightarrow) such that (mathbf{BIL}subseteqmathbf{BIL}^{+}subseteqmathbf{IL}). The logic (mathbf{BIL}) is generated by the relational structures (left), called basic frames, where (left) is a Kripke frame and (left) is a neighborhood frame. We will prove that the logic (mathbf{BIL}^{+}) is generated by the basic frames where the binary relation (R) is definable by the neighborhood relation (N) and, therefore, the neighborhood semantics is suitable to study the logic (mathbf{BIL}^{+}) and its extensions. We shall also study some axiomatic extensions of (mathsf{mathbf{BIL}}) and we will prove that these extensions are sound and complete with respect to a certain classes of basic frames.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139249879","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Stabilizers on (L)-algebras","authors":"M. Aaly Kologani, G. Rezaei","doi":"10.18778/0138-0680.2023.28","DOIUrl":"https://doi.org/10.18778/0138-0680.2023.28","url":null,"abstract":"The main goal of this paper is to introduce the notion of stabilizers in (L)-algebras and develop stabilizer theory in (L)-algebras. In this paper, we introduced the notions of left and right stabilizers and investigated some related properties of them. Then, we discussed the relations among stabilizers, ideal and co-annihilators. Also, we obtained that the set of all ideals of a (CKL)-algebra forms a relative pseudo-complemented lattice. In addition, we proved that right stabilizers in (CKL)-algebra are ideals. Then by using the right stabilizers we produced a basis for a topology on (L)-algebra. We showed that the generated topology by this basis is Baire, connected, locally connected and separable and we investigated the other properties of this topology.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139255596","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)","authors":"Sara Ayhan","doi":"10.18778/0138-0680.2023.24","DOIUrl":"https://doi.org/10.18778/0138-0680.2023.24","url":null,"abstract":"","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135127135","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Tarski's theorem about choice and the alternative axiomatic extension of NFU","authors":"Tin Adlešić, Vedran Čačić","doi":"10.18778/0138-0680.2023.25","DOIUrl":"https://doi.org/10.18778/0138-0680.2023.25","url":null,"abstract":"In this paper we rigorously prove the existence of type-level ordered pairs in Quine's New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU+Inf+AC). The proof uses Tarski's theorem about choice, which is a theorem of NFU+Inf+AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs almost from the beginning. This axiomatization is NFU+Inf+AC+Tarski, a conservative extension of NFU+Inf+AC.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135387289","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：