Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: