Web Directory

    Top: Society: Philosophy: Philosophy_of_Logic: Semantics_of_Logic:

 

Assigning Meaning to Proofs

  Link Details for: Assigning Meaning to Proofs
Link Title: Assigning Meaning to Proofs Open in a new window
Link URL: http://www.cs.cornell.edu/Info/Projects/NuPrl/documents/semantics/it.html
Link Details: 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.
Category: Top : Society : Philosophy : Philosophy_of_Logic : Semantics_of_Logic
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Assigning Meaning to Proofs