Meaning as consequence and the justification of inference rules Export

@techreport{citeulike:618239, abstract = {We often think of a proposition as being defined in terms of what (immediate) evidence for it is, and that the meanings of the logical constants are determined by their introduction rules. Instead, let's think of a proposition as being defined in terms of what an immediate consequence of it is, and take the elimination rules as determining the meanings of the constants.}, author = {Leslie, Neil}, citeulike-article-id = {618239}, citeulike-linkout-0 = {http://www.mcs.vuw.ac.nz/comp/Publications/CS-TR-05-6.abs.html}, institution = {Victoria University of Wellington}, keywords = {logic, meaning, proof\_theory}, number = {CS-TR-05-6}, posted-at = {2006-05-08 22:23:12}, priority = {0}, title = {Meaning as consequence and the justification of inference rules}, url = {http://www.mcs.vuw.ac.nz/comp/Publications/CS-TR-05-6.abs.html}, year = {2005} }

TY - RPRT ID - citeulike:618239 L3 - citeulike-article-id:618239 N2 - We often think of a proposition as being defined in terms of what (immediate) evidence for it is, and that the meanings of the logical constants are determined by their introduction rules. Instead, let's think of a proposition as being defined in terms of what an immediate consequence of it is, and take the elimination rules as determining the meanings of the constants. IS - CS-TR-05-6 TI - Meaning as consequence and the justification of inference rules KW - logic KW - meaning KW - proof_theory AU - Leslie, Neil PY - 2005/// UR - http://www.mcs.vuw.ac.nz/comp/Publications/CS-TR-05-6.abs.html ER -