Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича
Кожемяченко Даниил Андреевич
Аннотация:
В докладе представлено обобщение на конечнозначные пропозициональные логики Лукасевича ($L_k$) предложенных С.Р. Бассом и М.Л. Боне процедур симуляции для гильбертовских исчислений. Мы рассматриваем исчисления, получающиеся при помощи добавления правила исключения дизъюнкции к гильбертовскому исчислению для $L_3$, а также гиперсеквенциальное исчисление Аврона для $L_3$. Для всех этих исчислений мы предоставляем верхние грани на увеличение количества шагов и символов в доказательствах. Наконец, мы обобщаем результаты для исчислений с правилом исключения дизъюнкции на случай произвольной конечнозначной логики $L_k$.
