Extensionality and logicality

Sagi, G. (2017). Extensionality and logicality.

Type

Unclassified

Intellectual base

Unclassified

Year

2017

DOI

10.1007/s11229-017-1447-3

Link

https://doi.org/10.1007/s11229-017-1447-3

Cited by

1 citation across 1 artifact.

Domain-specific

• Extensionality
  • … Two sets are equal exactly when they have the same members, and two extensional functions are equal when they return equal values for every input. to A formalization states whether functions, predicates or programs are treated extensionally because intensional type theories may preserve presentation distinctions..

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