Уважаемые коллеги, доброго времени суток! Представляем вам немецкое научное издание Mathematical Logic Quarterly. Журнал имеет второй квартиль, издаётся в Wiley-VCH Verlag, его SJR за 2021 г. равен 0,498, импакт-фактор 0,449, печатный ISSN - 0942-5616, электронный - 1521-3870, предметная область Логика. Вот так выглядит обложка:
Здесь три редактора - Бенедикт Лёве, контактные данные - b.loewe@uva.nl,
Дейрдре Хаскелл - haskell@math.mcmaster.ca
и Клаус Меер - meer@informatik.tu-cottbus.de.
Дополнительные публикационные контакты - mlq-science@uva.nl, editorialoffice@mlq.email.
К публикации принимаются оригинальные материалы по математической логике и основам математики и смежным областям, таким, как общая логика, теория моделей, теория рекурсии, теория множеств, теория доказательств и конструктивная математика, алгебраическая логика, нестандартные модели и логические аспекты теоретической информатики.
Адрес издания - https://onlinelibrary.wiley.com/journal/15213870
Пример статьи, название - Intuitionistic propositional probability logic. Заголовок (Abstract) - We give a sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators is also intuitionistic (in contradistinction to other works on this topic), i.e., measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our logic, which is a combination of linear programming and an intuitionistic tableaux method.