Некоторые свойства алгебраической сводимости конструктивизаций
С.Т. Федоряев (1990)
Algebra i Logika
Similarity:
Displaying similar documents to “Теоремы переноса и алгебра модальных операторов.”
Некоторые свойства алгебраической сводимости конструктивизаций
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
О числе предлокально-табличных суперинтуиционистских пропозициональных логик.
С.И. Мардаев (1984)
Algebra i Logika
Similarity:
Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity:
Суперинтуиционистские логики и проективное свойство Бета.
Л.Л. Максимова (1999)
Algebra i Logika
Similarity:
Отсутствие интерполяционного свойства у модальных напарников логики Даммета.
Л.Л. Максимова (1982)
Algebra i Logika
Similarity:
Обобщенные вычисления над регулярными нумерациями.
Н.В. Белякин (1973)
Algebra i Logika
Similarity:
Частично упорядоченные множества и нематричные тождества неассоциативных алгебр
В.Н. Латышев (1976)
Algebra i Logika
Similarity:
Неразрешимое промежуточное исчисление
С.В. Попов (1981)
Algebra i Logika
Similarity:
Полуалгебраические множества и варианты теоремы Тарского-Зайденберга-Макинтайра
К.Н. Пономарёв, K. N. Ponomarëv, K. N. Ponomarëv, K. N. Ponomarëv (1995)
Algebra i Logika
Similarity:
О вычислимости над моделями разрешимых теорий
В.Г. Пузаренко (2000)
Algebra i Logika
Similarity: