Уважаемые коллеги, доброго времен суток! Представляем вам нидерландское научное издание Studia Logica. Журнал имеет второй квартиль, издаётся в Springer Netherlands, его SJR за 2021 г. равен 0,723, пятилетний импакт-фактор 0,922, печатный ISSN - 0039-3215, электронный - 1572-8730, предметные области - Логика, История и философия науки. Вот так выглядит обложка:
Редактором является Яцек Малиновски, контактные данные - Jacek.Malinowski@StudiaLogica.org.
Дополнительные публикационные контакты - rublinabisha.arockiasamy@springernature.com, Suganya.Manoharan@springernature.com, journalpermissions@springernature.com, ute.motz@springer.com.
Ведущей идеей Львовско-Варшавской школы логики, философии и математики было исследование философских проблем с помощью строгих методов математики. Свидетельством большого успеха, который пережила Школа, является тот факт, что она стала общепризнанной как Логика польского стиля. Сегодня логика в польском стиле больше не является исключительно польской специальностью. Она представлена многочисленными логиками, математиками и философами из исследовательских центров по всему миру.
Адрес издания - https://www.springer.com/journal/11225
Пример статьи, название - Hilbert Algebras with Hilbert–Galois Connections. Заголовок (Abstract) - In this paper we introduce Hilbert algebras with Hilbert–Galois connections (HilGC-algebras) and we study the Hilbert–Galois connections defined in Heyting algebras, called HGC-algebras. We assign a categorical duality between the category HilGC-algebras with Hilbert homomorphisms that commutes with Hilbert–Galois connections and Hilbert spaces with certain binary relations and whose morphisms are special functional relations. We also prove a categorical duality between the category of Heyting Galois algebras with Heyting homomorphisms that commutes with Hilbert–Galois connections and the category of spectral Heyting spaces endowed with a binary relation with certain special continuous maps. Keywords: Hilbert algebras; Hilbert–Galois connections; Topological representation; Heyting algebras