Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constable's aim is to use metamathematical results to guide the making of framewroks for constructive logic, as part of the NuPrl project.
Lecture notes of Per Martin-Löf. Argues that a close analysis of the concepts of proof, judgement and justification yield a direct, constructive account of the meaning of logical judgements.
Essay by Jerry Fodor and Ernie Lepore attacking an argument for maintaining principle of the excluded middle in the absence of bivalence by the device of supervaluations. [PDF]
