Аннотация
В [2] введена классификация расширений минимальной логики J Йохансона с помощью слоев, доказана разрешимость классификации. Мы рассмотрим расширения логики Gl = J + (A V -А). Логика Gl и ее расширения изучались в [8, 9]. В [6] установлено, что логика Gl сильно узнаваема над J, а семейство расширений логики Gl сильно разрешимо над J. В этой статье мы докажем сильную разрешимость классификации над логикой Gl: для каждого конечного множества Rul схем аксиом и правил вывода можно эффективно вычислить номер слоя исчисления, полученного из Gl добавлением Rul в качестве новых аксиом и правил
Переведенное название | Сильная вычислимость слоев над логикой Gl |
---|---|
Язык оригинала | английский |
Страницы (с-по) | 35-47 |
Число страниц | 13 |
Журнал | Сибирские электронные математические известия |
Том | 15 |
DOI | |
Состояние | Опубликовано - 1 янв 2018 |
Ключевые слова
- Decidability
- Kripke frame
- Recognizable logic
- Slices
- The minimal logic
Предметные области OECD FOS+WOS
- 1.01 МАТЕМАТИКА
ГРНТИ
- 27.03 Математическая логика и основания математики