Disentangling Structural Connectives or Life Without Display Property

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование


The work is concerned with the so called display property of display logic. The motivation behind it is discussed and challenged. It is shown using one display calculus for intuitionistic logic as an example that the display property can be abandoned without losing subformula, cut elimination and completeness properties in such a way that results in additional expressive power of the system. This is done by disentangling structural connectives so that they are no longer context-sensitive. A recipe for characterizing structural extensions of display calculi is provided.

Язык оригиналаанглийский
Страницы (с-по)279-303
Число страниц25
ЖурналJournal of Philosophical Logic
Номер выпуска2
СостояниеОпубликовано - 15 апр. 2019

Предметные области OECD FOS+WOS

  • 1.01.QL ЛОГИКА


Подробные сведения о темах исследования «Disentangling Structural Connectives or Life Without Display Property». Вместе они формируют уникальный семантический отпечаток (fingerprint).