Аннотация:
Логика Гжегорчика - это модальная логика конечных нестрогих порядков. Предлагается новое секвенциальное исчисление для этой логики, использующее бесконечные выводы. Для этой системы доказывается теорема об устранении сечения посредством соответствующего непрерывного оператора на множестве всех выводов.
Обратная связь: