The Logic of Provability

Japaridze, G., & Jongh, D. d. (1998). The Logic of Provability. Handbook of Proof Theory.

Type

Book chapter

Intellectual base

Review or monograph

Year

1998

Link

https://doi.org/10.1016/s0049-237x(98)80022-0 not authoritativeverified

Cited by

1 citation across 1 artifact.

Domain-specific

• Cointerpretability
  • Listed in the references but not attached to a specific claim.

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