RUS  ENG
Полная версия
СЕМИНАРЫ

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
25 февраля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom


Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича

Кожемяченко Даниил Андреевич



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


© МИАН, 2024