Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Displaying similar documents to “О выразимости функционалов в языке Д.Скотта LCF”
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Неразрешимое промежуточное исчисление
С.В. Попов (1981)
Algebra i Logika
Similarity:
О главных нумерациях функционалов над допустимыми множествами
Р.Ю. Вайценавичюс (1990)
Algebra i Logika
Similarity:
Максимальные и всюду определенные функционалы.
Ю.Л. Ершов (1974)
Algebra i Logika
Similarity:
Теория A-пространств.
Ю.Л. Ершов (1973)
Algebra i Logika
Similarity:
Неразрешимые свойства расширений логики доказуемости. II
A.B. Чагров (1990)
Algebra i Logika
Similarity:
О вычислимых нумерациях. II.
Ю.Л. Ершов, И.А. Лавров (1969)
Algebra i Logika
Similarity:
О вычислимых нумерациях.
Ю.Л. Ершов (1968)
Algebra i Logika
Similarity:
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
Некоторые вопросы обобщенной вычислимости.
Л.Н. Победин (1973)
Algebra i Logika
Similarity: