Abstract
Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege’s Grundgesetze is consistent. Here a constructive proof of the same result is presented.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 274-278 |
| Number of pages | 5 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | 39 |
| Issue number | 2 |
| DOIs | |
| State | Published - 1998 |
All Science Journal Classification (ASJC) codes
- Logic
Fingerprint
Dive into the research topics of 'On a consistent subsystem of frege’s grundgesetze'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver