The Interpolation Problem in Finite-Layered Pre-Heyting Logics | Sciact - Система учета научной деятельности ИМ СО РАН

The Interpolation Problem in Finite-Layered Pre-Heyting Logics Научная публикация

Журнал

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Вых. Данные

Год: 2019, Том: 58, Номер: 2, Страницы: 144-157 Страниц : 14 DOI: 10.1007/s10469-019-09533-3

Ключевые слова

Craig’s interpolation property; finite-layered pre-Heyting logic; Johansson algebra

Авторы

Maksimova L.L. ^1,2 , Yun V.F. ^1,2

Организации

1	Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russian Federation
2	Novosibirsk State University, ul, Pirogova 1, Novosibirsk, 630090, Russian Federation

The interpolation problem over Johansson’s minimal logic J is considered. We introduce a series of Johansson algebras, which will be used to prove a number of necessary conditions for a J-logic to possess Craig’s interpolation property (CIP). As a consequence, we deduce that there exist only finitely many finite-layered pre-Heyting algebras with CIP. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

Maksimova L.L. , Yun V.F.
The Interpolation Problem in Finite-Layered Pre-Heyting Logics
Algebra and Logic. 2019. V.58. N2. P.144-157. DOI: 10.1007/s10469-019-09533-3 WOS Scopus OpenAlex

Максимова Л.Л. , Юн В.Ф.
Проблема интерполяции в конечнослойных предгейтинговых логиках
Алгебра и логика. 2019. Т.58. №2. С.210-228. DOI: 10.33048/alglog.2019.58.205 OpenAlex

Web of science:	WOS:000479251100005
Scopus:	2-s2.0-85069510930
OpenAlex:	W2963200439

БД	Цитирований
Scopus	1
OpenAlex	1
Web of science	1