Display Logic

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A structural proof calculus characterized by display postulates that allow any substructure of a sequent to be 'displayed' (isolated) on one side of the turnstile so that the principal rule can be applied; display logic provides a uniform mechanism to handle diverse connectives and structural manipulations.