7 papers:
IJCAR-2006-ZamanskyA #calculus #canonical #quantifier- Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers (AZ, AA), pp. 251–265.
LOPSTR-2002-GutierrezR #calculus #type system #verification- A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene (FG, BCR), pp. 17–31.
FoSSaCS-2001-Tini #axiom #semantics- An Axiomatic Semantics for the Synchronous Language Gentzen (ST), pp. 394–409.
- IJCAR-2001-AvronL #canonical #type system
- Canonical Propositional Gentzen-Type Systems (AA, IL), pp. 529–544.
TLCA-2001-Urban #normalisation- Strong Normalisation for a Gentzen-like Cut-Elimination Procedure (CU), pp. 415–430.
ICALP-1996-ChengK #axiom #constraints #set- A Complete Gentzen-Style Axiomatization for Set Constraints (AC, DK), pp. 134–145.
CSL-1988-Paech #logic- Gentzen-Systems for Propositional Temporal Logics (BP), pp. 240–253.
