Assigning Meaning to Proofs - 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. www.cs.cornell.edu/Info/Projects/NuPrl/documents/semantics/it.html
Interpreting Formal Logic - Article by Jaroslav Peregrin. dec59.ruk.cuni.cz/~peregrin/HTMLTxt/interpret.htm
On the Meaning of the Logical Constants and the Justifications of the Logical Laws - 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. www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html
Satisfaction - An introduction to the model-theoretic stasfaction relation, by Peter Suber. www.earlham.edu/~peters/courses/logsys/satisfac.htm
The Meanings of Logical Constants - Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics. www.nyu.edu/gsas/dept/philo/courses/concepts/meaning.html
Torkel Franzén's Homepage - Contains his PhD thesis, `Provability and Truth'. www.sm.luth.se/~torkel
