The 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. In , 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. was the editor of the first six issues of the journal. takes on the responsibility of the Managing Editor. 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. becomes Editor-in-Chief. To continue Polish logical tradition the Editors decided retain the name of the journal unchanged. Wydawca: Wydawnictwo Uniwersytetu Łódzkiego ISSN 0138-0680 (print) ISSN 2449-836X (online) www:
Bulletin of the Section of Logic
Description
Publisher
Wydawnictwo Uniwersytetu Łódzkiego
Editorial office
Additional information
Data set: DML
Articles
Wydawnictwo Uniwersytetu Łódzkiego,
Guillermo Badia,
Johannes Kepler Universität Department of Knowledge-Based Mathematical Systems,
guillermo.badia_hernandez@jku.at
We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.
Wydawnictwo Uniwersytetu Łódzkiego,
Michał M Stronkowski,
Warsaw University of Technology Faculty of Mathematics and Information Science,
m.stronkowski@mini.pw.edu.pl
We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.
Wydawnictwo Uniwersytetu Łódzkiego,
Zalán Gyenis,
Jagiellonian University Department of Logic,
gyz@renyi.hu
The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain.