, Onweak completeness of intuitionistic predicate logic, The Journal of Symbolic Logic, vol. 27 (1962), pp. 139--158. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
The Undecidability of lambda-Definability - Loader (Correct)
The Logic of Provability - Japaridze, de Jongh (1998) (13 citations) (Correct)
A Software Architecture for Knowledge-Based Systems - Fensel, Groenboom (1999) (Correct)
The Logic of Provability - Japaridze, de Jongh (1997) (13 citations) (Correct)
Decidability and Finite Model Property of Substructural Logics - Ono (1998) (3 citations) (Correct)
Modal Change Logic (MCL): Specifying the Reasoning of .. - Fensel, Groenboom.. (1998) (1 citation) (Correct)
Simple Consequence Relations - Avron (1991) (60 citations) (Correct)
The Discovery Of My Completeness Proofs - Henkin (1996) (4 citations) (Correct)
Models of Lambda Calculi and Linear Logic: Structural, Equational .. - Loader (1994) (8 citations) (Correct)
The Method of Hypersequents in the Proof Theory of Propositional.. - Avron (1994) (25 citations) (Correct)
Change of Belief in SKL Model Frames (Automatization.. - Alvarado, Núnez (1996) (Correct)
Explicit Provability And Constructive Semantics - Artemov (2001) (1 citation) Self-citation (Logic) (Correct)
A simple proof of a theorem of Statman - Mairson (1992) (13 citations) Self-citation (Statman) (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