##
Reports on Mathematical Logic

###
No. 35

J. W. Degen

Proof Theory for Finitely Valid Sentences
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