Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic.

Valentin Mller

Browse the full AiML paper archive.