Towards a proof-theoretic semantics of equalities

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution › peer-review

Original language	English
Title of host publication	Advances in Proof-Theoretic Semantics
Editors	Thomas Piecha, Peter Schroeder-Heister
Publisher	Springer
Pages	153-160
Number of pages	8
Volume	43
Publication status	Published - 2016

Name	Trends in Logic
Publisher	Springer

Cite this

@inbook{ec27bf2a02ec4a6c8ae94060634fc347,

title = "Towards a proof-theoretic semantics of equalities",

author = "Reinhard Kahle",

note = "Sem PDF.",

year = "2016",

language = "English",

volume = "43",

series = "Trends in Logic",

publisher = "Springer",

pages = "153--160",

editor = "Thomas Piecha and Peter Schroeder-Heister",

booktitle = "Advances in Proof-Theoretic Semantics",

address = "Netherlands",

}