default search action

combined dblp search
author search
venue search
publication search

ask others

Advances in Proof-Theoretic Semantics 2016

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/sp/16/PS2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/PS2016
Thomas Piecha, Peter Schroeder-Heister:
Advances in Proof-Theoretic Semantics. Trends in Logic 43, Springer 2016, ISBN 978-3-319-22685-9
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/PiechaS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/PiechaS16
Thomas Piecha, Peter Schroeder-Heister:
Advances in Proof-Theoretic Semantics: Introduction. 1-4
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Prawitz16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Prawitz16
Dag Prawitz:
On the Relation Between Heyting's and Gentzen's Approaches to Meaning. 5-25
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/DeanK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/DeanK16
Walter Dean, Hidenori Kurokawa:
Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause. 27-63
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Dosen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Dosen16
Kosta Dosen:
On the Paths of Categories. 65-77
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Dyckhoff16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Dyckhoff16
Roy Dyckhoff:
Some Remarks on Proof-Theoretic Semantics. 79-93
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Maruyama16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Maruyama16
Yoshihiro Maruyama:
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics. 95-114
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Usberti16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Usberti16
Gabriele Usberti:
The Paradox of Knowability from an Intuitionistic Standpoint. 115-137
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Plato16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Plato16
Jan von Plato:
Explicit Composition and Its Application in Proofs of Normalization. 139-152
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Kahle16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Kahle16
Reinhard Kahle:
Towards a Proof-Theoretic Semantics of Equalities. 153-160
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Hallnas16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Hallnas16
Lars Hallnäs:
On the Proof-Theoretic Foundations of Set Theory. 161-171
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Hodges16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Hodges16
Wilfrid Hodges:
A Strongly Differing Opinion on Proof-Theoretic Semantics? 173-188
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Dosen16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Dosen16a
Kosta Dosen:
Comments on an Opinion. 189-193
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Goldfarb16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Goldfarb16
Warren D. Goldfarb:
On Dummett's "Proof-Theoretic Justifications of Logical Laws". 195-210
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Ekman16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Ekman16
Jan Ekman:
Self-contradictory Reasoning. 211-229
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Piecha16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Piecha16
Thomas Piecha:
Completeness in Proof-Theoretic Semantics. 231-251
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/16/Schroeder-Heister16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Schroeder-Heister16
Peter Schroeder-Heister:
Open Problems in Proof-Theoretic Semantics. 253-283

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.