Уважаемые коллеги, доброго времени суток! Представляем вам польское научное издание Bulletin of the Section of Logic. Журнал имеет второй квартиль, издаётся в Department of Logic, University of Lodz, находится в открытом доступе, его SJR за 2021 г. равен 0,225, электронный ISSN - 0138-0680, предметные области - Логика, Философия. Вот так выглядит обложка:
Редактором является Анджей Индрзейчак, контактные данные - andrzej.indrzejczak@filhist.uni.lodz.pl.
Это ежеквартальный рецензируемый журнал, издаваемый при поддержке издательства Лодзинского университета. BSL был основан в 1972 году Рышардом Войчицким, главой секции логики Польской академии наук, в то время базировавшейся во Вроцлаве, как информационный бюллетень-журнал, предназначенный для обмена научными результатами между членами Секции с их национальными и международными партнерами и коллегами. С 1975 по 2018 год журналом руководил и редактировал Гжегож Малиновский. В 1992 году кафедра логики Лодзинского университета приняла публикацию от Польской академии наук, изменив свою политику на регулярный рецензируемый журнал. Цель заключается в создании форума для быстрого широкого распространения оригинальных, значимых результатов в области логики посредством быстрой публикации. Журнал особенно приветствует вклады, непосредственно касающиеся логических исчислений, их методологии, применения и алгебраических интерпретаций.
Адрес издания - https://czasopisma.uni.lodz.pl/bulletin
Пример статьи, название - Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts. Заголовок (ABSTRACT) - This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations. Keywords: hybrid logic, natural deduction systems, sequent systems, normalization, cut-elimination, analycity