Синтаксис и семантика суперинтуиционистских логик
М.В. Захарьящев (1989)
Algebra i Logika
Similarity:
Displaying similar documents to “Тонкая иерархия формул.”
Синтаксис и семантика суперинтуиционистских логик
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Семантическая универсальность теорий над суперсписком
М.Г. Перетятькин (1992)
Algebra i Logika
Similarity:
Неразрешимое промежуточное исчисление
С.В. Попов (1981)
Algebra i Logika
Similarity:
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
С.В. Бабенышев (1992)
Algebra i Logika
Similarity:
О списке свойств с условием финитарной реализуемости
С.Ж.. Каратабанова (1992)
Algebra i Logika
Similarity:
Разрешимое некомпактное расширение логики S4.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Элиминация кванторов в хорновых теориях с малым числом моделей.
Е.А. Палютин (1991)
Algebra i Logika
Similarity:
On independent recursive axiomatisation in intuitionistic logic
И. Резников (1967)
Algebra i Logika
Similarity:
Нерегулярное исчисление предикатов первого порядка.
А. Таутс (1969)
Algebra i Logika
Similarity: