Об исчислении Ламбека с единицей и одним делением

Предъявляется подстановка, сводящая выводимость в исчислении Ламбека с единицей и одним делением к выводимости в исчислении Ламбека с одним делением, допускающем пустые антецеденты. При помощи этой подстановки устанавливается существование алгоритма, за полиномиальное время проверяющего выводимость в исчислении Ламбека с единицей и одним делением.

Авторы

Кузнецов С.Л.

Тэги

исчисление Ламбека алгоритмическая сложность

Тематические рубрики

Прикладные науки. Медицина. Технология

Предметные рубрики

Физико-математические науки

В этом же номере:

Формулы общего комплексного представления в плоской микрополярной теории упругости, Гладкие инварианты особенностей типа фокус-фокус, ...

Резюме по документу**

Предъявляется подстановка, сводящая выводимость в исчислении Ламбека с единицей и одним делением к выводимости в исчислении Ламбека с одним делением, допускающем пустые антецеденты. <...> При помощи этой подстановки устанавливается существование алгоритма, за полиномиальное время проверяющего выводимость в исчислении Ламбека с единицей и одним делением. <...> Предъявляется подстановка, сводящая выводимость в исчислении Ламбека с единицей и одним делением к выводимости в исчислении Ламбека с одним делением, допускающем пустые антецеденты. <...> При помощи этой подстановки устанавливается существование алгоритма, за полиномиальное время проверяющего выводимость в исчислении Ламбека с единицей и одним делением. <...>

** - вычисляется автоматически, возможны погрешности

Похожие документы:

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

Об исчислении Ламбека с единицей и одним делением

Помощь:

Участники: