Hybrid Extensions of the Minimal Logic

Hybrid Extensions of the Minimal Logic Full article

Journal

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

Output data

Year: 2021, Volume: 62, Number: 5, Pages: 876-881 Pages count : 6 DOI: 10.1134/S0037446621050104

Tags

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

Authors

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

Affiliations

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

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