XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

Simple item page
dc.creatorWos, Larry
dc.creatorUlrich, Dolph
dc.creatorFitelson, Branden
dc.date2002-11-13
dc.date.accessioned2026-07-07T03:19:00Z
dc.date.available2026-07-07T03:19:00Z
dc.descriptionIt 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.
dc.description6 pages, no figures
dc.identifierhttps://arxiv.org/abs/cs/0211015
dc.identifierhttp://arxiv.org/abs/cs/0211015
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31343
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectF.4.1; I.2.3
dc.titleXCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
dc.typetext

Files

Collections

arXiv