Logic and Proof

Jeremy Avigad, R. Y. L., & Doorn, F. v. (2021). Logic and Proof.

Type

Unclassified

Intellectual base

Unclassified

Year

2021

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Partially ordered set
  • … that the ground set, relation symbol and strictness convention, reflexivity, antisymmetry and transitivity proofs, comparable and incomparable pairs and any diagram orientation are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..

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