Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Sites 4
Loading new listings for you to review...
- 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.
- 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.