Базисы допустимых правил модальной системы Grz и интуиционистской логики
В.В. Рыбаков (1987)
Matematiceskij sbornik
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.
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 “К проблеме полноты для систем функций алгебры логики с ненадежной реализацией”
Базисы допустимых правил модальной системы 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: