Conditioned Disjunction as a Primitive Connective for the Propositional Calculus

Church, A. (1948). Conditioned Disjunction as a Primitive Connective for the Propositional Calculus. Portugaliae Mathematica.

Type

Journal article

Intellectual base

Primary research

Year

1948

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

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

Domain-specific

• Conditioned Disjunction
  • Conditioned disjunction is a ternary truth-functional connective introduced by Alonzo Church

    This sourceFixes the argument order of Church's ternary notation: `[p,q,r]` is the conditional whose test is the MIDDLE argument, i.e. conventional `q ? p : r` and not `p ? q : r`.

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:e8d2a3a9d75a · see in the full table