On Disjunctions and Existential Statements in Intuitionistic Systems of Logic

Harrop, R. (1957). On Disjunctions and Existential Statements in Intuitionistic Systems of Logic. Mathematische Annalen, 132(1956–1957), 1956-1957.

Type

Journal article

Intellectual base

Primary research

Year

1957

Link

https://eudml.org/doc/160525

Cited by

1 citation across 1 artifact.

Domain-specific

• Harrop Formula
  • Harrop introduced the fragment while studying disjunction and existence properties of intuitionistic systems.

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