(untitled)

Troelstra, A. S., & D. van Dalen, C. i. M. (1988). (untitled).

Type

Unclassified

Intellectual base

Unclassified

Year

1988

Link

no authoritative link yet

Cited by

2 citations across 2 artifacts.

Domain-specific

• Independence of premise
  • … distinguished term, formulas phi and theta, variable-freeness condition, premise and conclusion schemata, syntactic restrictions and classical or intuitionistic validity status are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..
• Inhabited set
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

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