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

Статья

Interpolation properties for provability logics GL and GLP

Proceedings of the Steklov Institute of Mathematics. 2011. Vol. 274. No. 1. P. 303-316.

Исследуются интерполяционные свойства логик доказуемости. Доказаны интерполяционное свойство Линдона для логики GL и равномерное интерполяционное свойство для логики GLP.