1 paper
Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano
Display calculi were introduced by Nuel Belnap in `Display logic' (1982) as a natural extension of Gentzen's sequent calculi, as a uniform and modular framework capable of encompas…