Strong cut-elimination in sequent calculus using Klop's <i>ι</i>-translation and perpetual reductions (Q3617369)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Strong cut-elimination in sequent calculus using Klop's <i>ι</i>-translation and perpetual reductions
scientific article

    Statements

    Identifiers