Authors: Neil Leslie
Source: GZipped
PostScript (54kb); Adobe
PDF (154kb)
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.Keywords: Logic, Proof theory, Meaning