The Normalization Theorem for Full First-Order Classical Natural Deduction with Generalized Elimination Rules
The Normalization Theorem for Full First-Order Classical Natural Deduction with Generalized Elimination Rules …
Browsing: subformula property