Базисы допустимых правил модальной системы Grz и интуиционистской логики
В.В. Рыбаков (1987)
Matematiceskij sbornik
Similarity:
Displaying similar documents to “К проблеме полноты для систем функций алгебры логики с ненадежной реализацией”
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Оценка для числа тупиковых д.н.ф. функций алгебры логики
Ю.И. Журавлев (1962)
Sibirskij matematiceskij zurnal
Similarity:
О допустимых правилах интуиционистской логики высказываний
А.И. Циткин (1977)
Matematiceskij sbornik
Similarity:
Модальные логики с LM-аксиомами.
В.В. Рыбаков (1978)
Algebra i Logika
Similarity:
О суперпозициях функций алгебры логики
С.В. Яблонский (1952)
Matematiceskij sbornik
Similarity:
Арифметизация символической логики
И.И. Жегалкин ([unknown])
Matematiceskij sbornik
Similarity:
Наследственно конечно-аксиоматизируемые расширения логики S4
В.В. Рыбаков (1976)
Algebra i Logika
Similarity:
Допустимые правила предтабличных модальных логик
В.В. Рыбаков (1981)
Algebra i Logika
Similarity:
Критррий полноты систем операций в операторных алгоритмах, реализующих функции k-значной логики
Ю.В. Голунков (1980)
Verojatnostnye metody i kibernetika
Similarity:
О некотором ослаблении интуиционистской логики
Ю.Н. Толстова (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Информационные фреймы Барвайса и модальные логики.
В.В. Рыбаков (2002)
Algebra i Logika
Similarity:
Сложность и время работы нормальных алгорифмов, вычисляющихфункции алгебры логики
Ю.В. Голунков, З.К. Бухараева (1978)
Verojatnostnye metody i kibernetika
Similarity:
Многообразия логических матриц
А.В. Чагров (1985)
Algebra i Logika
Similarity:
О двух расширениях логики доказуемости GL
В.Ю. Шавруков (1990)
Matematiceskij sbornik
Similarity:
Нетабличность логики S4 по функциональной полноте.
М.Ф. Раца (1982)
Algebra i Logika
Similarity: