Meaning and structural rules in natural deduction Export

@techreport{citeulike:618238, 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.}, author = {Leslie, Neil}, citeulike-article-id = {618238}, citeulike-linkout-0 = {http://www.mcs.vuw.ac.nz/comp/Publications/CS-TR-05-4.abs.html}, institution = {Victoria University of Wellington}, keywords = {logic, meaning, natural\_deduction, proof\_theory}, number = {CS-TR-05-4}, posted-at = {2006-05-08 22:20:05}, priority = {0}, title = {Meaning and structural rules in natural deduction}, url = {http://www.mcs.vuw.ac.nz/comp/Publications/CS-TR-05-4.abs.html}, year = {2005} }

TY - RPRT ID - citeulike:618238 L3 - citeulike-article-id:618238 N2 - 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. IS - CS-TR-05-4 TI - Meaning and structural rules in natural deduction KW - logic KW - meaning KW - natural_deduction KW - proof_theory AU - Leslie, Neil PY - 2005/// UR - http://www.mcs.vuw.ac.nz/comp/Publications/CS-TR-05-4.abs.html ER -