Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319110400, 9783319110417

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

General-Elimination Harmony and Higher-Level Rules

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_13 ◽

2014 ◽

pp. 293-312 ◽

Cited By ~ 7

Author(s):

Stephen Read

Download Full-text

Necessity of Thought

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_4 ◽

2014 ◽

pp. 101-120 ◽

Cited By ~ 1

Author(s):

Cesare Cozzo

Download Full-text

Prawitz, Proofs, and Meaning

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_1 ◽

2014 ◽

pp. 1-32

Author(s):

Heinrich Wansing

Download Full-text

On the Motives for Proof Theory

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_5 ◽

2014 ◽

pp. 121-145

Author(s):

Michael Detlefsen

Keyword(s):

Proof Theory

Download Full-text

Hypothesis-Discharging Rules in Atomic Bases

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_14 ◽

2014 ◽

pp. 313-328

Author(s):

Tor Sandqvist

Download Full-text

A Short Scientific Autobiography

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_2 ◽

2014 ◽

pp. 33-64

Author(s):

Dag Prawitz

Download Full-text

Cut Elimination, Substitution and Normalisation

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_7 ◽

2014 ◽

pp. 163-187 ◽

Cited By ~ 1

Author(s):

Roy Dyckhoff

Keyword(s):

Cut Elimination

Download Full-text

Inferential Semantics

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_6 ◽

2014 ◽

pp. 147-162 ◽

Cited By ~ 1

Author(s):

Kosta Došen

Keyword(s):

Inferential Semantics

Download Full-text

Dag Prawitz’s Published Books and Papers, by Year (Selected)

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_19 ◽

2014 ◽

pp. 451-458

Author(s):

D. Prawitz

Download Full-text

Harmony in Proof-Theoretic Semantics: A Reductive Analysis

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic ◽

10.1007/978-3-319-11041-7_15 ◽

2014 ◽

pp. 329-358 ◽

Cited By ~ 4

Author(s):

Peter Schroeder-Heister

Keyword(s):

Reductive Analysis

Download Full-text

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

General-Elimination Harmony and Higher-Level Rules

Necessity of Thought

Prawitz, Proofs, and Meaning

On the Motives for Proof Theory

Hypothesis-Discharging Rules in Atomic Bases

A Short Scientific Autobiography

Cut Elimination, Substitution and Normalisation

Inferential Semantics

Dag Prawitz’s Published Books and Papers, by Year (Selected)

Harmony in Proof-Theoretic Semantics: A Reductive Analysis

Dag Prawitz on Proofs and Meaning - Outstanding Contributions to Logic
Latest Publications