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
Том48
Номер выпуска2
DOI
СостояниеОпубликовано - 15 апр 2019

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

Цитировать