Quantification theory and empty individual-domains

Hailperin, T. (1953). Quantification theory and empty individual-domains.

Type

Unclassified

Intellectual base

Unclassified

Year

1953

DOI

10.2307/2267402

Link

https://doi.org/10.2307/2267402

Cited by

1 citation across 1 artifact.

Domain-specific

• Interpretation (logic)
  • … a convenient observable transfers from An interpretation of group language chooses a set, a binary operation, inverse and identity element, after which group axioms can be tested. to A proof distinguishes an interpretation from a syntactic substitution and names whether semantics is classical, many-valued or modal..

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