Skip to Content
UFO paranormal Directory, Community and News

Philosophy: Philosophy of Logic: Semantics of Logic: Assigning Meaning to Proofs

Advanced Search           Random Link



Top > Philosophy > Philosophy of Logic > Semantics of Logic > Assigning Meaning to Proofs

< Previous

Assigning Meaning to Proofs

URL: http://www.cs.cornell.edu/Info/Projects/NuPrl/documents/semantics/it.html

Submitted: Sat Sep 06 2003
Rating: 0.00
Votes: 0
CT: Philosophy: Philosophy of Logic: Semantics of Logic: Assigning Meaning to Proofs
Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa
Description:
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.

Review It Rate It Bookmark It



UFO Home |  Webmasters |  Add a Site |  Modify a Site |  New |  Cool |  Top Rated |  Bookmarks
Category for: Philosophy: Philosophy of Logic: Semantics of Logic: Assigning Meaning to Proofs