Slices and Levels of Extensions of the Minimal Logic

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

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

Аннотация

We consider two classifications of extensions of Johansson’s minimal logic J. Logics and then calculi are divided into levels and slices with numbers from 0 to ω. We prove that the first classification is strongly decidable over J, i.e., from any finite list Rul of axiom schemes and inference rules, we can effectively compute the level number of the calculus (J + Rul). We prove the strong decidability of each slice with finite number: for each n and arbitrary finite Rul, we can effectively check whether the calculus (J + Rul) belongs to the nth slice.

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

Fingerprint Подробные сведения о темах исследования «Slices and Levels of Extensions of the Minimal Logic». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать