Towards a proof-theoretic semantics of equalities

TitleTowards a proof-theoretic semantics of equalities
Publication TypeBook Chapter
Year of Publication2015
AuthorsKahle R
EditorPiecha T, Schroeder-Heister P
Book TitleAdvances in Proof-Theoretic Semantics
Series TitleTrends in Logic
PublisherSpringer