Checking proofs in the metamathematics of first order logic.
Abstract/Contents
- Abstract
- This is a report on some of the first experiments of any size carried out using the new first order proof checker FOL. We present two different first order axiomatizations of the metamathematics of the logic which FOL itself checks and show several proofs using each one. The difference between the axiomatizations is that one defines the metamathematics in a many sorted logic, the other does not.
Description
Type of resource | text |
---|---|
Form | technical reports |
Extent | 1 text file |
Place | Stanford (Calif.) |
Date created | August 1, 1974 |
Language | English |
Digital origin | reformatted digital |
Creators/Contributors
Author | Aiello, Mario | |
---|---|---|
Author | Weyhrauch, Richard W. |
Subjects
Subject | Stanford University. Computer Science Department |
---|---|
Subject | Computer science |
Genre | Technical reports |
Bibliographic information
Finding Aid | |
---|---|
Technical Report # | CS-TR-1974-467 |
Location | https://purl.stanford.edu/dd609fp0649 |
Location | 3840/2 |
Repository | Stanford University. Libraries. Department of Special Collections and University Archives |
Access conditions
- Use and reproduction
- The materials are open for research use and may be used freely for non-commercial purposes with an attribution. For commercial permission requests, please contact the Stanford University Archives (universityarchives@stanford.edu).
Collection
Stanford Artificial Intelligence Laboratory records, 1963-2009
View other items in this collection in SearchWorksStanford University, Department of Computer Science, Technical Reports
View other items in this collection in SearchWorksAlso listed in
Loading usage metrics...