Семинары: М. Р. Пентус, Лекция 10. Критерий выводимости для $L^*(\backslash,/,\cdot)$

СЕМИНАРЫ


Спецкурс «Сложность исчисления Ламбека» 7 декабря 2018 г. 16:45, г. Москва, механико-математический факультет МГУ

Лекция 10. Критерий выводимости для $L^(\backslash,/,\cdot)$ М. Р. Пентус Московский государственный университет имени М. В. Ломоносова, механико-математический факультет*
Аннотация: Формулировка критерия выводимости для исчисления Ламбека, допускающего пустые антецеденты. Доказательство критерия выводимости.