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