J. Myhill, Some remarks on the notion of proof, Journal of Philosophy, vol. 57 (1960), pp. 461--471. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Explicit Provability and Constructive Semantics - Artemov (2000) (1 citation) (Correct)
Explicit Provability: The Intended Semantics for Intuitionistic.. - Artemov (1998) (Correct)
Logic of Proofs: a Unified Semantics for Modality and lambda-Terms - Artemov (1998) (Correct)
Explicit Modal Logic - Artemov (1998) (1 citation) (Correct)
Operations on Proofs That Can Be Specified By Means of Modal Logic - Artemov (Correct)
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC