Hybrid Extensions of the Minimal Logic | Sciact - Система учета научной деятельности ИМ СО РАН

Hybrid Extensions of the Minimal Logic Научная публикация

Журнал

Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260

Вых. Данные

Год: 2021, Том: 62, Номер: 5, Страницы: 876-881 Страниц : 6 DOI: 10.1134/S0037446621050104

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

510.64; algorithmic properties; decidability; hybrid logic; interpolation properties; Johansson’s logic; minimal logic; perceptible formula; recognizable logic

Авторы

Maksimova L.L. ¹ , Yun V.F. ¹

Организации

1	Sobolev Institute of Mathematics, Novosibirsk, Russian Federation

We consider some extensions of Johansson’s minimal logic J. Hybrid logics extendthe intersection of the intuitionistic logic Int and the negative logic Neg.We show that the perceptibility and recognizability of a hybrid logic are reducedto the analogous properties of its intuitionistic and negative counterparts.Also, the interpolation properties of a hybrid logic are reduced to those of its intuitionistic and negative counterparts.The restricted interpolation property IPR andthe projective Beth property PBP are known to be equivalent in the well-composed logics.Here we give an easier proof of this fact for hybrid logics. © 2021, Pleiades Publishing, Ltd.

Maksimova L.L. , Yun V.F.
Hybrid Extensions of the Minimal Logic
Siberian Mathematical Journal. 2021. V.62. N5. P.876-881. DOI: 10.1134/S0037446621050104 WOS Scopus OpenAlex

Максимова Л.Л. , Юн В.Ф.
Гибридные расширения минимальной логики
Сибирский математический журнал. 2021. Т.62. №5. С.1084-1090. DOI: 10.33048/smzh.2021.62.510 OpenAlex

Web of science:	WOS:000698762500010
Scopus:	2-s2.0-85115607062
OpenAlex:	W3203620407

Пока нет цитирований