Recognizability of All WIP-Minimal Logics

Результат исследования: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

Аннотация

We consider extensions of Johansson’s minimal logic J. It was proved in [1] that the weak interpolation property (WIP) is decidable over the minimal logic. Moreover, all logics with WIP are divided into eight pairwise disjoint intervals. The notion of recognizable logic was introduced in [2]. The recognizability over J of five of the eight WIP-minimal logics, i.e. of the lower ends of intervals with WIP, was proved earlier in [2, 3]. We prove the recognizability over J of the remaining three WIP-minimal logics.

Язык оригиналаанглийский
Страницы (с-по)179-188
Число страниц10
ЖурналSiberian Mathematical Journal
Том59
Номер выпуска1
DOI
СостояниеОпубликовано - 1 янв 2018

Fingerprint Подробные сведения о темах исследования «Recognizability of All WIP-Minimal Logics». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать