Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Displaying similar documents to “Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС”
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Модальные логики конечных слоев.
Л.Л. Максимова (1975)
Algebra i Logika
Similarity:
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
А.В. Чагров (1992)
Algebra i Logika
Similarity:
Наименьшие неподвижные точки в логике Гёделя-Леба
С.И. Мардаев (1993)
Algebra i Logika
Similarity:
О решетке нормальных модальных логик.
Л.Л. Максимова, В.В. Рыбаков (1974)
Algebra i Logika
Similarity:
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Similarity:
Базисы допустимых правил вывода модальных логик S4.2 и S4.2Grz
С.В. Бабенышев (1993)
Algebra i Logika
Similarity:
Нетабличность логики S4 по функциональной полноте.
М.Ф. Раца (1982)
Algebra i Logika
Similarity:
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
В.В. Рыбаков (1984)
Algebra i Logika
Similarity: