Alessandra Palmigiano

Inception Display Calculi

Abstract Display calculi were introduced by Nuel Belnap in [3] as a natural extension of Gentzen’s sequent calculi, as a uniform and modular framework capable of encompassing broad classes of logics. In [28], the properly displayable (D)LE-logics are syntactically characterized a...