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