Reports on Mathematical Logic

No. 29 (1995)


Heinrich WANSING

STRONG CUT-ELIMINATION IN DISPLAY LOGIC

A b s t r a c t. It is shown that every displayable propositional logic enjoys strong cut-elimination. This result strengthens Belnap's general cut-elimination theorem for Display Logic.


Back to Main Menu