Сверхнезависимые суперинтуиционистские логики
В.Я. Герчиу (1970)
Matematiceskie issledovanija
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “Обобщение двух теорем Белоусова для сильно зависимых функций k-значной логики”
Сверхнезависимые суперинтуиционистские логики
О двух расширениях логики доказуемости GL
В.Ю. Шавруков (1990)
Matematiceskij sbornik
Similarity:
Цепные классы участочно-монотонных функций логики первой матрицы Яськовского
В.П. Малай (1987)
Matematiceskie issledovanija
Similarity:
Группы автострофий разделимых сильно зависимых операций
А.В. Черемушкин (1990)
Matematiceskie issledovanija
Similarity:
Модальные логики с LM-аксиомами.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
Наследственно конечно-аксиоматизируемые расширения логики S4
В.В. Рыбаков (1976)
Algebra i Logika
Similarity:
О некотором ослаблении интуиционистской логики
Ю.Н. Толстова (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Арифметизация символической логики
И.И. Жегалкин ([unknown])
Matematiceskij sbornik
Similarity:
Некоторые свойства решетки параметрически замкнутых классов функций трехзначной логики
А.Ф. Данильченко (1987)
Matematiceskie issledovanija
Similarity:
К вопросу существования глобальных функций Ляпунова-Красовского, зависящих от двух векторных аргументов
Н.С. Фалько (1987)
Matematiceskie issledovanija
Similarity:
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Similarity:
Допустимые правила предтабличных модальных логик
В.В. Рыбаков (1981)
Algebra i Logika
Similarity:
Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр
А.И. Циткин (1987)
Matematiceskie issledovanija
Similarity: