Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conc...
An introduction to the model-theoretic stasfaction relation, by Peter Suber.
Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constabl...