The Bulletin of the Section of Logic (BSL) is a quarterly peer-reviewed journal published with support of the University of Lodz. Its aim is to act as a forum for timely wide dissemination of novel, significant results in logic through rapid publication of papers not exceding 18 pages. The BSL invites especially the contributions dealing directly with logical calculi, their methodology, application and algebraic interpretations.

Papers may be submitted to the Editor-in-Chief or to any of the Collecting Editors.

BRIEF HISTORY In 1972: Ryszard Wójcicki, Head of the Section of Logic of the Polish Academy of Sciences, at that time based in Wrocław, launches the newsletter-journal designed for the exchange of scientific results among members of the Section with their national and international partners and cooperators. Jan Zygmunt was the editor of the first six issues of the journal. 1975: Grzegorz Malinowski takes on the responsibility of the Managing Editor. 1992: The Department of Logic of Łódź University, takes over publication from the Polish Academy of Sciences and changes its publication policy into a regular peer-reviewed journal. Grzegorz Malinowski becomes Editor-in-Chief. 2012: To continue Polish logical tradition the Editors decided retain the name of the journal unchanged.

Punktacja MNiSW: 20 pkt. (2019)
Punktacja MNiSW: 20 pkt. (2021)
Dyscyplina wg MNiSW: filozofia; informatyka techniczna i telekomunikacja; matematyka

Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680 (print)
ISSN 2449-836X (online)
www: Bulletin of the Section of Logic

Collections in this community

Recent Submissions

  • Equality Logic 

    Ghorbani, Shokoofeh (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
    In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local ...
  • Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations 

    Niki, Satoru (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
    We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then ...
  • Module Structure on Effect Algebras 

    Saidi Goraghani, Simin; Borzooei, Rajab Ali (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
    In this paper, by considering the notions of effect algebra and product effect algebra, we define the concept of effect module. Then we investigate some properties of effect modules, and we present some examples on them. ...
  • New Modification of the Subformula Property for a Modal Logic 

    Takano, Mitio (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
    A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a ...
  • Proof Compression and NP Versus PSPACE II 

    Gordeev, Lew; Haeusler, Edward Hermann (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
    We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2]. Since minimal ...
  • A Topological Approach to Tense LMn×m-Algebras 

    Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
    In 2015, tense n × m-valued Lukasiewicz–Moisil algebras (or tense LMn×m-algebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense n-valued Łukasiewicz–Moisil algebras. In this paper we continue ...
  • Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras 

    Jun, Young Bae; Song, Seok-Zun (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
    Based on the hesitant fuzzy set theory which is introduced by Torra in the paper [12], the notions of Inf-hesitant fuzzy subalgebras, Inf-hesitant fuzzy ideals and Inf-hesitant fuzzy p-ideals in BCK/BCI-algebras are ...
  • May the Sea-Battle Tommorow Not Happen? 

    Pięta, Bożena (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
    This note provides a review of the book 'On the Sea-Battle Tomorrow That May Not Happen' by Tomasz Jarmużek.
  • The Dynamic Epistemic Logic for Actual Knowledge 

    Wójcik, Arkadiusz (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
    The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the ...
  • Nilpotent Minimum Logic NM and Pretabularity 

    Yang, Eunsuk (Wydawnictwo Uniwersytetu Łódzkiego, 2020-03-30)
    This paper deals with pretabularity of fuzzy logics. For this, we first introduce two systems NMnfp and NM½, which are expansions of the fuzzy system NM (Nilpotent minimum logic), and examine the relationships between NMnfp ...
  • Disjunctive Multiple-Conclusion Consequence Relations 

    Nowak, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
    The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the ...
  • An Investigation into Intuitionistic Logic with Identity 

    Chlebowski, Szymon; Leszczyńska-Jasion, Dorota (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
    We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s ...
  • Many Faces of Lattice Tolerances 

    Grygiel, Joanna (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
    Our aim is to overview and discuss some of the most popular approaches to the notion of a tolerance relation in algebraic structures with the special emphasis on lattices.
  • Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic 

    Kürbis, Nils (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
    Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation ...
  • Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3 

    Yazaki, Daishi (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
    The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and ...
  • Modal Boolean Connexive Logics: Semantics and Tableau Approach 

    Jarmużek, Tomasz; Malinowski, Jacek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
    In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. ...
  • A Note on Distributive Triples 

    Łazarz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
    Even if a lattice L is not distributive, it is still possible that for particular elements x, y, z ∈ L it holds (x∨y) ∧z = (x∧z) ∨ (y ∧z). If this is the case, we say that the triple (x, y, z) is distributive. In this note ...
  • Complex Fuzzy Sets with Application in BCK/BCI-Algebras 

    Jun, Young Bae; Xin, Xiao Long (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
    As a generation of fuzzy set, the notion of complex fuzzy set which is an innovative concept is introduced by Ramot, Milo, Friedman and Kandel. The purpose of this article is to apply complex fuzzy set to BCK/BCI-algebras. ...
  • Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic 

    Witczak, Tomasz (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
    We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. ...
  • A Note on Ciuciura’s mbC1 

    Omori, Hitoshi (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
    This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new ...

View more