Strong computability of slices over the logic Gl

Переведенное название: Сильная вычислимость слоев над логикой Gl

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

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

Аннотация

В [2] введена классификация расширений минимальной логики J Йохансона с помощью слоев, доказана разрешимость классификации. Мы рассмотрим расширения логики Gl = J + (A V -А). Логика Gl и ее расширения изучались в [8, 9]. В [6] установлено, что логика Gl сильно узнаваема над J, а семейство расширений логики Gl сильно разрешимо над J. В этой статье мы докажем сильную разрешимость классификации над логикой Gl: для каждого конечного множества Rul схем аксиом и правил вывода можно эффективно вычислить номер слоя исчисления, полученного из Gl добавлением Rul в качестве новых аксиом и правил
Переведенное названиеСильная вычислимость слоев над логикой Gl
Язык оригиналаанглийский
Страницы (с-по)35-47
Число страниц13
ЖурналSiberian Electronic Mathematical Reports
Том15
DOI
СостояниеОпубликовано - 1 янв 2018

Ключевые слова

  • Decidability
  • Kripke frame
  • Recognizable logic
  • Slices
  • The minimal logic

ГРНТИ

  • 27.03 Математическая логика и основания математики

Fingerprint Подробные сведения о темах исследования «Сильная вычислимость слоев над логикой Gl». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать