Prawitz, D. (1965). Natural Deduction. Almquist & Wiksell, Stockholm. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
.... nets by linear hypothetical judgments has a long history, going back to Mart Oliet and Meseguer [MOM91] Monadic encapsulation in the context of functional programming and type theory begins with Moggi s monadic metalanguage [Mog89, Mog91] Prawitz describes a proof theory for modal logics [Pra65], from which Moggi s presentation of the monadic metalanguage inherits. Pfenning and Davies [PD01] revisit the question of proof theory for modal logic, reinterpreting it on the basis of a judgmental approach in the style promulgated by MartinL of [ML96] Their approach improves on the original ....
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Variants of the Basic Calculus of Constructions - Bunder, Seldin (2004) (Correct)
.... in which he could use familiar tools for the proof of consistency: the form of Curry s theory of functionality (his name for type assignment) which he considered a part of illative combinatory logic, and the proof theoretic tools of Gentzen [7] especially as developed by Curry [8,9] and Prawitz [10]. Seldin also wanted to allow for the possibility of assumptions other than those assigning types to variables; he thought that such assumptions might be useful, for example in dealing with the possibility of subtyping, which Curry had postulated by taking the assumption I : # # or #x . x : ....
....conversions of types, in the form of the abstraction rule, and whether assumptions are sequences and can only be introduced by rules, or are sets and can be arbitrary. Both kinds are natural deduction systems; the latter are more like those that have appeared in the work of Gentzen [7] and Prawitz [10]. Which of these versions one wants will depend on one s purpose. If one has a purpose for which typechecking is important, one will probably prefer one of the P or A versions below with sequences for assumptions, whereas if one wants to obtain consistency proofs or obtain other proof theoretic ....
[Article contains additional citation context not shown here]
D. Prawitz, Natural Deduction, Almqvist & Wiksell, Stockholm, Goteborg, and Uppsala, 1965.
Unknown - Linear Natural Deduction Self-citation (Prawitz) (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
No context found.
Prawitz, D. (1965). Natural Deduction. Almquist & Wiksell, Stockholm.
Electronic Notes in Computer Science 1 (1995) - On Modal Calculus (1995) (4 citations) (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) (Correct)
No context found.
Prawitz, D. 1965. Natural Deduction. Almquist & Wiksell, Stockholm.
On Uniform Proof-Theoretical Operational Semantics.. - Ekaterina.. (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almqvist & Wiksell, Uppsala, 1965. 12
Cut Rules and Explicit Substitutions - Vestergaard, Wells (2000) (3 citations) (Correct)
No context found.
Prawitz, D. (1965). Natural Deduction. Almquist and Wiksell, Uppsala.
A Generic Approach to Building User Interfaces for Theorem.. - Bertot, Thery (1998) (10 citations) (Correct)
No context found.
Prawitz, D. (1965). Natural Deduction, a proof-theoretical study. Almqvist & Wiksell.
Unknown - Linear Logic Programming (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Unknown - Labeled Deduction Starting (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Termination - As The Example (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Unknown - Linear Type Theory (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Unknown - Linear Calculus In (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Unknown - Sequent Calculus In (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Combining Type Disciplines - Cardone De' Liguoro (1994) (1 citation) (Correct)
No context found.
D. Prawitz. Natural Deduction. Almqvist & Wiksell, 1965.
A Modal Analysis of Staged Computation - Rowan Davies And (1999) (124 citations) (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Significant Inferences: Preliminary Report - Besnard, Schaub (2000) (Correct)
No context found.
D. Prawitz. Natural Deduction. Almqvist & Wiksell, Stockholm, 1965.
Unknown - Linear Logic Programming (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Curry's Anticipation of the Types Used in Programming Languages - Seldin (2003) (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almqvist & Wiksell, Stockholm, Goteborg, and Uppsala, 1965.
Unknown - Linear Type Theory (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
Towards a Semantic Web for Formal Mathematics - Schena (2002) (Correct)
No context found.
Prawitz D. Natural Deduction. Almqvist & Wiksell, 1965.
On Normalizing Disjunctive Intermediate Logics - Seldin (2004) (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almqvist & Wiksell, Stockholm, Goteborg, and Uppsala, 1965. 11
If ; ; =) A + then ; =) A. - If Then Proof (Correct)
No context found.
Dag Prawitz. Natural Deduction. Almquist & Wiksell, Stockholm, 1965.
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