Open Logic Project: Complete Build

Open Logic Project. (2026). Open Logic Project: Complete Build: Complete Build.

Type

Book

Intellectual base

Review or monograph

Year

2026

Link

https://builds.openlogicproject.org/open-logic-complete.pdf

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Modus Ponendo Tollens
  • The Open Logic Project’s natural-deduction rules supply those exact proof operations.

    This sourceDocuments conjunction introduction, negation introduction, and the NAND reading of the Sheffer stroke.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:545726841e63 · see in the full table