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