A b s t r a c t. We investigate infinitary sequent calculi which generate the finitely valid sentences of first-order logic, of simple type theory and of transitive closure logic, respectively.

Back to Main Menu