Lógica de Display

Un cálculo estructural de pruebas caracterizado por postulados de display que permiten 'exhibir' (aislar) cualquier subestructura de un sequent en un lado del símbolo de juicio para que se aplique la regla principal; la lógica de display proporciona un mecanismo uniforme para manejar conectivos diversos y manipulaciones estructurales.