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.
Предметные области OECD FOS+WOS
- 6.03.UA ФИЛОСОФИЯ
- 1.01.QL ЛОГИКА