In Partnership with AOL
  • 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.
    [!]
Volunteer to edit this category.
Copyright © 1998-2016 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: January 5, 2016 at 17:45:05 UTC - edit