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.
Interpreting Formal Logic
Article by Jaroslav Peregrin. [PDF]
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.
Satisfaction
An introduction to the model-theoretic stasfaction relation, by Peter Suber.
[Questioning Mozilla]
Last update:
January 5, 2016 at 17:45:05 UTC
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping