Proof Identity for Classical Logic: Generalizing to Normality.

Roman Kuznets

Browse the full LFCS paper archive.