Assigning Meaning to Proofs
Edit Page
Report
Scan day: 07 February 2014 UTC
11
Virus safety - good
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.
Assigning Meaning to Proofs: a semantic basis for problem solving environments Assigning Meaning to Proofs: a semantic basis for problem solving environments According to Tarski's semantics, the denotation of a sentence in the classical predicate calculus with respect to a model is its truth value in that model. In this paper we associate with every sentence a set comprising evidence for it and show that a statement is true in a model exactly when there is evidence for it. According to this semantics, the denotation of a sentence is this set of evidence.
Size: 565 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Assigning Meaning to Proofs: a semantic basis for problem solving environments |
| Keywords: | |
| Description: | |
| IP-address: | 128.84.154.137 |
WHOIS Info
| NS | Name Servers: BIGRED.CIT.CORNELL.EDU 128.253.180.35 DNS.CIT.CORNELL.EDU 192.35.82.53 |
| WHOIS | |
| Date | activated: 15-Jul-1985 last updated: 20-Sep-2012 expires: 31-Jul-2014 |