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