Оценка для числа тупиковых д.н.ф. функций алгебры логики

Ю.И. Журавлев

The search session has expired. Please query the service again.

Displaying similar documents to “Оценка для числа тупиковых д.н.ф. функций алгебры логики”

О суперпозициях функций алгебры логики

С.В. Яблонский (1952)

Matematiceskij sbornik

Similarity:

О некотором ослаблении интуиционистской логики

Ю.Н. Толстова (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О допустимых правилах интуиционистской логики высказываний

А.И. Циткин (1977)

Matematiceskij sbornik

Similarity:

К проблеме полноты для систем функций алгебры логики с ненадежной реализацией

В.В. Тарасов (1975)

Matematiceskij sbornik

Similarity:

Модальные логики с LM-аксиомами.

В.В. Рыбаков (1978)

Algebra i Logika

Similarity:

Допустимые правила предтабличных модальных логик

В.В. Рыбаков (1981)

Algebra i Logika

Similarity:

Наследственно конечно-аксиоматизируемые расширения логики S4

В.В. Рыбаков (1976)

Algebra i Logika

Similarity:

Многообразия логических матриц

А.В. Чагров (1985)

Algebra i Logika

Similarity:

Информационные фреймы Барвайса и модальные логики.

В.В. Рыбаков (2002)

Algebra i Logika

Similarity:

Явные определения неявно определимых объектов в некоторых модальных логиках.

Л.Л. Максимова (1997)

Sibirskij matematiceskij zurnal

Similarity:

Роль детерминизма в языках запросов для баз данных.

С.С. Магазов (1987)

Sibirskij matematiceskij zurnal

Similarity:

Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики

В.В. Рыбаков, М. Терзилер, В.В. Ремацкий (2000)

Algebra i Logika

Similarity:

Арифметизация символической логики

И.И. Жегалкин ([unknown])

Matematiceskij sbornik

Similarity:

Сверхнезависимые суперинтуиционистские логики

В.Я. Герчиу (1970)

Matematiceskie issledovanija

Similarity:

Bolzano's propositional Logic.

Y. Bar-Hillel (1950/52)

Archiv für mathematische Logik und Grundlagenforschung

Similarity: