Advances in Proof-Theoretic Semantics - Trends in Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319226859, 9783319226866

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Explicit Composition and Its Application in Proofs of Normalization

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_8 ◽

2015 ◽

pp. 139-152 ◽

Cited By ~ 1

Author(s):

Jan von Plato

Download Full-text

Self-contradictory Reasoning

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_14 ◽

2015 ◽

pp. 211-229

Author(s):

Jan Ekman

Download Full-text

On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_2 ◽

2015 ◽

pp. 5-25 ◽

Cited By ~ 3

Author(s):

Dag Prawitz

Download Full-text

Open Problems in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_16 ◽

2015 ◽

pp. 253-283 ◽

Cited By ~ 7

Author(s):

Peter Schroeder-Heister

Keyword(s):

Open Problems

Download Full-text

Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_3 ◽

2015 ◽

pp. 27-63 ◽

Cited By ~ 1

Author(s):

Walter Dean ◽

Hidenori Kurokawa

Download Full-text

Towards a Proof-Theoretic Semantics of Equalities

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_9 ◽

2015 ◽

pp. 153-160

Author(s):

Reinhard Kahle

Download Full-text

Comments on an Opinion

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_12 ◽

2015 ◽

pp. 189-193 ◽

Cited By ~ 1

Author(s):

Kosta Došen

Download Full-text

Completeness in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_15 ◽

2015 ◽

pp. 231-251 ◽

Cited By ~ 3

Author(s):

Thomas Piecha

Download Full-text

The Paradox of Knowability from an Intuitionistic Standpoint

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_7 ◽

2015 ◽

pp. 115-137 ◽

Cited By ~ 1

Author(s):

Gabriele Usberti

Keyword(s):

Paradox Of Knowability

Download Full-text

Categorical Harmony and Paradoxes in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics - Trends in Logic ◽

10.1007/978-3-319-22686-6_6 ◽

2015 ◽

pp. 95-114 ◽

Cited By ~ 2

Author(s):

Yoshihiro Maruyama

Download Full-text

Advances in Proof-Theoretic Semantics - Trends in LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Explicit Composition and Its Application in Proofs of Normalization

Self-contradictory Reasoning

On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning

Open Problems in Proof-Theoretic Semantics

Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause

Towards a Proof-Theoretic Semantics of Equalities

Comments on an Opinion

Completeness in Proof-Theoretic Semantics

The Paradox of Knowability from an Intuitionistic Standpoint

Categorical Harmony and Paradoxes in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics - Trends in Logic
Latest Publications