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