RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1988, том 27, номер 5, страницы 581–603 (Mi al2033)

Эта публикация цитируется в 2 статьях

Интерполяция в бесконечнослойных расширениях логики доказуемости

Л. Л. Максимова


Аннотация: Получены теоремы о характеризации модальных логик $G\gamma$ и $G\delta$ с помощью так называемых $\omega$-линейных и финально-линейных шкал соответственно, доказана разрешимость обеих логик. Показано, что логика $G\gamma$ занимает особое место среди расширений логики доказуемости, а именно, она является наибольшей среди бесконечнослойных расширений логики $G\gamma$ обладающих интерполяционным свойством.

УДК: 410.64:512.57

Поступило: 11.03.1987


 Англоязычная версия: DOI: 10.1007/BF01982275

Реферативные базы данных:


© МИАН, 2024