Recognizability of All WIP-Minimal Logics

Journal

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

Output data

Year: 2018, Volume: 59, Number: 1, Pages: 179-188 Pages count : 10 DOI: 10.1134/s0037446618010196

Tags

decidability; interpolation property; minimal logic; recognizable logic

Authors

Yun V.F. ^1,2

Affiliations

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

Yun V.F.
Recognizability of All WIP-Minimal Logics
Siberian Mathematical Journal. 2018. V.59. N1. P.179-188. DOI: 10.1134/s0037446618010196 WOS Scopus OpenAlex

Юн В.Ф.
Узнаваемость всех WIP-минимальных логик
Сибирский математический журнал. 2018. Т.59. №1. С.225-237. DOI: 10.17377/smzh.2018.59.119