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

Глава

Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs

P. 321-335.
Savateev Y., Shamkanov D. S.