D. Prawitz. Natural deduction: A proof-theoretical study. Almqvist and Wiksell, Stockholm, 1965. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
On a generalized theorem for a normalization of proof trees - Aiguier, Boin, Cerrito (2005) (1 citation) (Correct)
No context found.
D. Prawitz. Natural deduction: A proof-theoretical study. Almqvist and Wiksell, Stockholm, 1965.
On Generalized Theorems for . . . - Aiguier, Boin, Longuet (Correct)
No context found.
D. Prawitz. Natural deduction: A proof-theoretical study. Almqvist and Wiksell, Stockholm, 1965.
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
No context found.
Dag Prawitz. Natural Deduction: a Proof-Theoretical Study. Almquist and Wiskell, 1965.
Natural Deduction for Belief at Most - Klüwer, Waaler (Correct)
No context found.
Dag Prawitz. Natural Deduction: A Proof-Theoretical Study. Almquist & Wiksell, Stockholm, 1965.
Completeness and Herbrand Theorems for Nominal Logic - Cheney (2006) (Correct)
No context found.
Dag Prawitz, Natural deduction: A proof-theoretical study, Almquist and Wiksell, 1965.
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
No context found.
D. Prawitz, Natural Deduction -- A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, 1965.
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
An Intelligent Agent Architecture For . . . - Soller (2003) (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
Mental States Recognition from Communication - Dragoni, Giorgini, Serafini (2000) (2 citations) (Correct)
No context found.
D. Prawitz. Natural Deduction - A Proof Theoretical Study. Almquist and Wiksell, Stockholm, 1965.
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965. 24
Istituto per la Ricerca Scientifica e Tecnologica - Trento Gamma Loc (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
A Foundation for Metareasoning, Part I: The Proof Theory - Criscuolo, al. (1997) (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
Istituto per la Ricerca Scientifica e Tecnologica - Trento Gamma Loc (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
Toward a Revision for Multi-Context Systems - Aldo Franco Dragoni (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
Istituto per la Ricerca Scientifica e Tecnologica - Trento Gamma Loc (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
Ideal and Real Belief about - Belief Giunchiglia And (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
An Interpretation of the Second Order Sequent Calculus in the.. - Th Mar Ch (Correct)
No context found.
Dag Prawitz. Natural Deduction: a Proof-Theoretical Study. Almquist and Wiskell, 1965. 25
The Complexity of the Disjunction and Existential Properties in .. - Buss, Mints (1999) (2 citations) (Correct)
No context found.
D. Prawitz, Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, 1965.
On the Difference between Bridge Rules and Lifting Axioms - Bouquet, Serafini (2003) (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
Comparing Formal Theories of Context in AI - Serafini, Bouquet (2004) (5 citations) (Correct)
No context found.
D. Prawitz, Natural Deduction---A Proof Theoretical Study, Almquist and Wiksell, Stockholm, 1965.
Comparing Formal Theories of Context in AI - Serafini, Bouquet (2004) (5 citations) (Correct)
No context found.
D. Prawitz. Natural Deduction - A proof theoretical study. Almquist and Wiksell, Stockholm, 1965. 28
Attack Generation for NIDS Testing Using Natural Deduction - Shai Rubin Somesh (Correct)
No context found.
PRAWITZ, D. Natural Deduction: a Proof-Theoretical Study. Almquist and Wiskell, 1965.
Specification and Integration of Theorem Provers.. - Bertoli, Calmet.. (5 citations) (Correct)
No context found.
Prawitz, D. Natural Deduction: A Proof-theoretical Study. , 1965.
Mental States Recognition from - Communication Aldo Franco (Correct)
No context found.
D. Prawitz. Natural Deduction - A Proof Theoretical Study. Almquist and 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