The independence of premise rule in intuitionistic set theories

Takako Nemoto, M. R. (2019). The independence of premise rule in intuitionistic set theories.

Type

Unclassified

Intellectual base

Unclassified

Year

2019

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Independence of premise
  • In a standard form, from phi implies there exists x theta(x) one infers there exists x such that phi implies theta(x), with an inhabited domain and x not free in phi; validity depends on the logic and formula restrictions.

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