#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1960

2012

- This year (0)
- Last 5 years (2)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Dag Prawitz
- J. Symb. Log.
- 1968

- Dag Prawitz
- Synthese
- 2006

- Dag Prawitz
- Synthese
- 2012

- Dag Prawitz, Haåkan Prawitz, Neri Voghera
- J. ACM
- 1960

Introduction I n th is p a p e r we will r epo r t on the realization in an e lect ronic digital computer of an effective proof p rocedure for the first o rder predwate calculus. T h e on ly logic to which electronic compu te r s have so far been app l i ed is the one con ta ined in the p ropos i t iona l calculus (also k n o w n as sen ten t ia l calculus… (More)

relations between functional programming and concurrent programming have been studied extensively, e.g., through translations of the λ calculus into R. Milner’s π-calculus. Abstract forms of the continuation-passing style, e.g., as in Thielecke’s work, have been typed in classical logic, suggesting an interpretation of these relations as a logical duality… (More)

- Dag Prawitz
- Epistemology versus Ontology
- 2012

- Peter Aczel, Mark van Atten, +19 authors Jouko Väänänen
- 2009

Peter Aczel: Predicate logic over a type setup There are a variety of closely related notions aimed at capturing the abstract structure of type dependency in the syntax and semantics of dependent type theories. Examples of such notions are category with attributes, category with families, category with display maps, contextual category, comprehension… (More)

- Dag Prawitz
- J. Symb. Log.
- 1967

- D PRAWITZ
- Tidskrift i militär hälsovård
- 1961

- Dag Prawitz, Dag Westerståhl
- Ann. Pure Appl. Logic
- 1993