Some theorems about the calculi of Lewis and Heyting, Journal of Symbolic Logic, 13, pp. 1--15. F. Montagna Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Pair-Dense Relation Algebras - Maddux (1991) (5 citations) (Correct)
Explicit Provability and Constructive Semantics - Artemov (2000) (1 citation) (Correct)
The Logic of Provability - Japaridze, de Jongh (1998) (13 citations) (Correct)
The Logic of Provability - Japaridze, de Jongh (1997) (13 citations) (Correct)
Chapter Vii - The Logic Of (1968) (1 citation) (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