XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
2002
Online
report
Zugriff:
It has long been an open question whether the formula XCB = EpEEEpqErqr is, with the rules of substitution and detachment, a single axiom for the classical equivalential calculus. This paper answers that question affirmatively, thus completing a search for all such eleven-symbol single axioms that began seventy years ago.
Comment: 6 pages, no figures
Titel: |
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
|
---|---|
Autor/in / Beteiligte Person: | Wos, Larry ; Ulrich, Dolph ; Fitelson, Branden |
Link: | |
Veröffentlichung: | 2002 |
Medientyp: | report |
Schlagwort: |
|
Sonstiges: |
|