Search dblp for Publications

export results for "toc:db/books/collections/PS2016.bht:"

 download as .bib file

@incollection{DBLP:books/sp/16/DeanK16,
  author       = {Walter Dean and
                  Hidenori Kurokawa},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and
                  the Second Clause},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {27--63},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_3},
  doi          = {10.1007/978-3-319-22686-6\_3},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/DeanK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Dosen16,
  author       = {Kosta Dosen},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {On the Paths of Categories},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {65--77},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_4},
  doi          = {10.1007/978-3-319-22686-6\_4},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Dosen16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Dosen16a,
  author       = {Kosta Dosen},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Comments on an Opinion},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {189--193},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_12},
  doi          = {10.1007/978-3-319-22686-6\_12},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Dosen16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Dyckhoff16,
  author       = {Roy Dyckhoff},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Some Remarks on Proof-Theoretic Semantics},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {79--93},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_5},
  doi          = {10.1007/978-3-319-22686-6\_5},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Dyckhoff16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Ekman16,
  author       = {Jan Ekman},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Self-contradictory Reasoning},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {211--229},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_14},
  doi          = {10.1007/978-3-319-22686-6\_14},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Ekman16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Goldfarb16,
  author       = {Warren D. Goldfarb},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {On Dummett's "Proof-Theoretic Justifications of Logical Laws"},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {195--210},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_13},
  doi          = {10.1007/978-3-319-22686-6\_13},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Goldfarb16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Hallnas16,
  author       = {Lars Halln{\"{a}}s},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {On the Proof-Theoretic Foundations of Set Theory},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {161--171},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_10},
  doi          = {10.1007/978-3-319-22686-6\_10},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Hallnas16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Hodges16,
  author       = {Wilfrid Hodges},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {A Strongly Differing Opinion on Proof-Theoretic Semantics?},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {173--188},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_11},
  doi          = {10.1007/978-3-319-22686-6\_11},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Hodges16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Kahle16,
  author       = {Reinhard Kahle},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Towards a Proof-Theoretic Semantics of Equalities},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {153--160},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_9},
  doi          = {10.1007/978-3-319-22686-6\_9},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Kahle16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Maruyama16,
  author       = {Yoshihiro Maruyama},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Categorical Harmony and Paradoxes in Proof-Theoretic Semantics},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {95--114},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_6},
  doi          = {10.1007/978-3-319-22686-6\_6},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Maruyama16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Piecha16,
  author       = {Thomas Piecha},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Completeness in Proof-Theoretic Semantics},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {231--251},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_15},
  doi          = {10.1007/978-3-319-22686-6\_15},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Piecha16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/PiechaS16,
  author       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Advances in Proof-Theoretic Semantics: Introduction},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_1},
  doi          = {10.1007/978-3-319-22686-6\_1},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/PiechaS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Plato16,
  author       = {Jan von Plato},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Explicit Composition and Its Application in Proofs of Normalization},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {139--152},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_8},
  doi          = {10.1007/978-3-319-22686-6\_8},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Plato16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Prawitz16,
  author       = {Dag Prawitz},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {On the Relation Between Heyting's and Gentzen's Approaches to Meaning},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {5--25},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_2},
  doi          = {10.1007/978-3-319-22686-6\_2},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Prawitz16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Schroeder-Heister16,
  author       = {Peter Schroeder{-}Heister},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Open Problems in Proof-Theoretic Semantics},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {253--283},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_16},
  doi          = {10.1007/978-3-319-22686-6\_16},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Schroeder-Heister16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/16/Usberti16,
  author       = {Gabriele Usberti},
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {The Paradox of Knowability from an Intuitionistic Standpoint},
  booktitle    = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  pages        = {115--137},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6\_7},
  doi          = {10.1007/978-3-319-22686-6\_7},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/Usberti16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/16/PS2016,
  editor       = {Thomas Piecha and
                  Peter Schroeder{-}Heister},
  title        = {Advances in Proof-Theoretic Semantics},
  series       = {Trends in Logic},
  volume       = {43},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-22686-6},
  doi          = {10.1007/978-3-319-22686-6},
  isbn         = {978-3-319-22685-9},
  timestamp    = {Fri, 20 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/16/PS2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.