Switch to: Citations

Add references

You must login to add references.
  1. Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.
  • Truth of a proposition, evidence of a judgement, validity of a proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.