Bulletin of the Section of Logic
Browse by
The Bulletin of the Section of Logic (BSL) is a quarterly peerreviewed 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 EditorinChief 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 newsletterjournal 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 peerreviewed journal. Grzegorz Malinowski becomes EditorinChief. 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 01380680 (print)
ISSN 2449836X (online)
www: Bulletin of the Section of Logic
Collections in this community
Recent Submissions

What Is the Sense in Logic and Philosophy of Language
(Wydawnictwo Uniwersytetu Łódzkiego, 20200630)In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formallogical conception ... 
Compounding Objects
(Wydawnictwo Uniwersytetu Łódzkiego, 20200630)We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which ... 
Cantor on Infinitesimals. Historical and Modern Perspective
(Wydawnictwo Uniwersytetu Łódzkiego, 20200630)In his 1887's Mitteilungen zur Lehre von Transfiniten, Cantor seeks to prove inconsistency of infinitesimals. We provide a detailed analysis of his argument from both historical and mathematical perspective. We show that ... 
Computersupported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
(Wydawnictwo Uniwersytetu Łódzkiego, 20200630)Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of Gödel's argument ... 
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
(Wydawnictwo Uniwersytetu Łódzkiego, 20200630)Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a ... 
Formal Methods and Science in Philosophy: Introduction to the Special Issue
(Wydawnictwo Uniwersytetu Łódzkiego, 20200630)Introduction to the Special Issue. 
Fourvalued expansions of DunnBelnap's logic (I): Basic characterizations
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)Basic results of the paper are that any fourvalued expansion L4 of DunnBelnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 4 of a De ... 
Length Neutrosophic Subalgebras of BCK=BCIAlgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)Given i, j, k ∈ {1,2,3,4}, the notion of (i, j, k)length neutrosophic subalgebras in BCK=BCIalgebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed ... 
Empirical Negation, CoNegation and the Contraposition Rule II: ProofTheoretical Investigations
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)We continue the investigation of the first paper where we studied logics with various negations including empirical negation and conegation. We established how such logics can be treated uniformly with R. Sylvan's CCω as ... 
From Intuitionism to Brouwer's Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication ... 
The Phenomenology of SecondLevel Inference: Perfumes in The Deductive Garden
(Wydawnictwo Uniwersytetu Łódzkiego, 20201230)We comment on certain features that secondlevel inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goalsimplification, goalpreservation and premisepreservation. ... 
Equality Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20201104)In this paper, we introduce and study a corresponding logic to equalityalgebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equalityalgebras and local ... 
Module Structure on Effect Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20201104)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
(Wydawnictwo Uniwersytetu Łódzkiego, 20201104)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 ... 
Empirical Negation, Conegation and Contraposition Rule I: Semantical Investigations
(Wydawnictwo Uniwersytetu Łódzkiego, 20201104)We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as conegation, corresponds to different logics under different semantics. We then ... 
Proof Compression and NP Versus PSPACE II
(Wydawnictwo Uniwersytetu Łódzkiego, 20201104)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×mAlgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20200330)In 2015, tense n × mvalued Lukasiewicz–Moisil algebras (or tense LMn×malgebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense nvalued Łukasiewicz–Moisil algebras. In this paper we continue ... 
May the SeaBattle Tommorow Not Happen?
(Wydawnictwo Uniwersytetu Łódzkiego, 20200330)This note provides a review of the book 'On the SeaBattle Tomorrow That May Not Happen' by Tomasz Jarmużek. 
The Dynamic Epistemic Logic for Actual Knowledge
(Wydawnictwo Uniwersytetu Łódzkiego, 20200330)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 ... 
InfHesitant Fuzzy Ideals in BCK/BCIAlgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20200330)Based on the hesitant fuzzy set theory which is introduced by Torra in the paper [12], the notions of Infhesitant fuzzy subalgebras, Infhesitant fuzzy ideals and Infhesitant fuzzy pideals in BCK/BCIalgebras are ...