Bulletin of the Section of Logic
Browse by
The "Bulletin of the Section of Logic" (BSL) is a quarterly peerreviewed journal published with the support of the Lodz University Press. The BSL was founded in 1972 by Ryszard Wójcicki, Head of the Section of Logic of the Polish Academy of Sciences, then based in Wrocław, as a newsletterjournal designed for the exchange of scientific results among members of the Section with their national and international partners and colleagues. The first editorinchief of the BSL was Jan Zygmunt, who supervised the editorial process of the first six issues of the journal. In 1973 the role was taken over by Marek Tokarz. From 1975 to 2018 the journal was managed and edited by Grzegorz Malinowski. In 1992 the Department of Logic at the University of Łódź took over the publication from the Polish Academy of Sciences changing its policy into regular peerreviewed journal. The aim of the Bulletin is to act as a forum for the prompt wide dissemination of original, significant results in logic through rapid publication. The BSL welcomes especially contributions dealing directly with logical calculi, their methodology, application and algebraic interpretations.
Nazwa: Bulletin of the Section of Logic
ISSN: 01380680
eISSN: 2449836X
Lista MEiN: 70 punktów (2021)
Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
Format: Open Access (licencja CC BYNCND)
Ukazuje się od: 1972 r.
Strona internetowa czasopisma / Journal website
Collections in this community
Recent Submissions

Weakly Free Multialgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20210823)In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. ... 
A Sequent Systems without Improper Derivations
(Wydawnictwo Uniwersytetu Łódzkiego, 20211014)In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others ... 
Sequent Calculi for Orthologic with Strict Implication
(Wydawnictwo Uniwersytetu Łódzkiego, 20211109)In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with ... 
A Note on the Intuitionistic Logic of False Belief
(Wydawnictwo Uniwersytetu Łódzkiego, 20210901)In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula $\varphi$ is ... 
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
(Wydawnictwo Uniwersytetu Łódzkiego, 20210902)Six interesting variants of the logics BN4 and E4—which can be considered as the 4valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these ... 
An Epistemological Study of Theory Change
(Wydawnictwo Uniwersytetu Łódzkiego, 20211109)Belief Revision is a wellestablished field of research that deals with how agents rationally change their minds in the face of new information. The milestone of Belief Revision is a general and versatile formal framework ... 
An Arithmetically Complete Predicate Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20210823)This paper investigates a firstorder extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its ... 
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
(Wydawnictwo Uniwersytetu Łódzkiego, 20210721)Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras. Let ... 
A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
(Wydawnictwo Uniwersytetu Łódzkiego, 20211109)In this paper, we shall show that the following translation \(I^M\) from the propositional fragment \(\bf L_1\) of Leśniewski's ontology to modal logic \(\bf KTB\) is sound: for any formula \(\phi\) and \(\psi\) of \(\bf ... 
The (Greatest) Fragment of Classical Logic that Respects the VariableSharing Principle (in the FMLAFMLA Framework)
(Wydawnictwo Uniwersytetu Łódzkiego, 20210527)We examine the set of formulatoformula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, ... 
On the Category of EQalgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 20210120)In this paper, we studied the category of EQalgebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQalgebras have coequlizers and we calculated coproduct ... 
Neighbourhood Semantics for Graded Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20210714)We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be firstorder definable but not modally definable. We ... 
A General Model of Neutrosophic Ideals in BCK/BCIalgebras Based on Neutrosophic Points
(Wydawnictwo Uniwersytetu Łódzkiego, 20200815)More general form of (∈, ∈ ∨q)neutrosophic ideal is introduced, and their properties are investigated. Relations between (∈, ∈)neutrosophic ideal and (∈, ∈ ∨q(kT ,kI ,kF ))neutrosophic ideal are discussed. Characterizations ... 
Falling Shadow Theory with Applications in Hoops
(Wydawnictwo Uniwersytetu Łódzkiego, 20210120)The falling shadow theory is applied to subhoops and filters in hoops. The notions of falling fuzzy subhoops and falling fuzzy filters in hoops are introduced, and several properties are investigated. Relationship between ... 
Tense Operators on BLalgebras and Their Applications
(Wydawnictwo Uniwersytetu Łódzkiego, 20210528)In this paper, the notions of tense operators and tense filters in \(BL\)algebras are introduced and several characterizations of them are obtained. Also, the relation among tense \(BL\)algebras, tense \(MV\)algebras ... 
A Note on GödelDummet Logic LC
(Wydawnictwo Uniwersytetu Łódzkiego, 20210701)Let \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n1}\rightarrow ... 
A Note on 3×3valued Łukasiewicz Algebras with Negation
(Wydawnictwo Uniwersytetu Łódzkiego, 20210527)In 2004, C. Sanza, with the purpose of legitimizing the study of \(n\times m\)valued Łukasiewicz algebras with negation (or \(\mathbf{NS}_{n\times m}\)algebras) introduced \(3 \times 3\)valued Łukasiewicz algebras with ... 
Omitting Types in Fragments and Extensions of First Order Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20210528)Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for ... 
Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena
(Wydawnictwo Uniwersytetu Łódzkiego, 20210630)In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These ... 
Common Knowledge, Common Attitudes and Social Reasoning
(Wydawnictwo Uniwersytetu Łódzkiego, 20210630)For as long as there have been theories about common knowledge, they have been exposed to a certain amount of skepticism. Recent more sophisticated arguments question whether agents can acquire common attitudes and whether ...