Meaning and structural rules in natural deduction


Authors: Neil Leslie
Source: GZipped PostScript (43kb); Adobe PDF (114kb)

Abstract: Classical and constructive natural deduction can be formulated using exactly the same introduction and elimination rules, with the difference between them expressed using a structural rule.

Keywords: Logic, Proof theory, Meaning

[Up to Computer Science Technical Report Archive: Home Page]