• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs

P. 569-583.
Savateev Y., Shamkanov D. S.

В книге

Vol. 11541: Lecture Notes in Computer Science. Berlin; Heidelberg: Springer, 2019.