Advances in Proof-Theoretic Semantics

TitleAdvances in Proof-Theoretic Semantics
Publication TypeBook Chapter
Year of Publication2016
AuthorsKahle R
EditorPiecha T, Schroeder-Heister P"
ChapterTowards a Proof-Theoretic Semantics of Equalities
Pagination153–160
PublisherSpringer International Publishing
CityCham
ISBN Number978-3-319-22686-6
URLhttp://dx.doi.org/10.1007/978-3-319-22686-6_9
DOI10.1007/978-3-319-22686-6_9