S. Shapiro, Epistemic and intuitionistic arithmetic, Intensional mathematics (S. Shapiro, editor), North-Holland, 1985, pp. 11--46. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Explicit Provability: The Intended Semantics for Intuitionistic.. - Artemov (1998) (Correct)
Logic of Proofs: a Unified Semantics for Modality and lambda-Terms - Artemov (1998) (Correct)
A New "Feasible" Arithmetic - Bellantoni, Hofmann (2000) (Correct)
Explicit Modal Logic - Artemov (1998) (1 citation) (Correct)
Operations on Proofs That Can Be Specified By Means of Modal Logic - Artemov (Correct)
Ranking Arithmetic Proofs by Implicit Ramification - Bellantoni (1996) (Correct)
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) (Correct)
Unknown (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