Prawitz, D. (1965). Natural Deduction. Almquist & Wiksell, Stockholm. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
Variants of the Basic Calculus of Constructions - Bunder, Seldin (2004) (Correct)
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
Electronic Notes in Computer Science 1 (1995) - On Modal Calculus (1995) (4 citations) (Correct)
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) (Correct)
On Uniform Proof-Theoretical Operational Semantics.. - Ekaterina.. (Correct)
Cut Rules and Explicit Substitutions - Vestergaard, Wells (2000) (3 citations) (Correct)
A Generic Approach to Building User Interfaces for Theorem.. - Bertot, Thery (1998) (10 citations) (Correct)
Unknown - Linear Logic Programming (Correct)
Unknown - Labeled Deduction Starting (Correct)
Termination - As The Example (Correct)
Unknown - Linear Type Theory (Correct)
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
Unknown - Linear Calculus In (Correct)
Unknown - Sequent Calculus In (Correct)
Combining Type Disciplines - Cardone De' Liguoro (1994) (1 citation) (Correct)
A Modal Analysis of Staged Computation - Rowan Davies And (1999) (124 citations) (Correct)
Significant Inferences: Preliminary Report - Besnard, Schaub (2000) (Correct)
Unknown - Linear Logic Programming (Correct)
Curry's Anticipation of the Types Used in Programming Languages - Seldin (2003) (Correct)
Unknown - Linear Type Theory (Correct)
Towards a Semantic Web for Formal Mathematics - Schena (2002) (Correct)
On Normalizing Disjunctive Intermediate Logics - Seldin (2004) (Correct)
If ; ; =) A + then ; =) A. - If Then Proof (Correct)
Unknown - Linear Natural Deduction Self-citation (Prawitz) (Correct)
First 50 documents Next 50
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