?
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs
P. 569-583.
Саватеев Ю. В., Шамканов Д. С.
В книге
Vol. 11541: Lecture Notes in Computer Science. , Berlin, Heidelberg : Springer, 2019
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!