Towards a proof-theoretic semantics of equalities

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Original languageEnglish
Title of host publicationAdvances in Proof-Theoretic Semantics
EditorsThomas Piecha, Peter Schroeder-Heister
PublisherSpringer
Pages153-160
Number of pages8
Volume43
Publication statusPublished - 2016

Publication series

NameTrends in Logic
PublisherSpringer

Cite this

Kahle, R. (2016). Towards a proof-theoretic semantics of equalities. In T. Piecha, & P. Schroeder-Heister (Eds.), Advances in Proof-Theoretic Semantics (Vol. 43, pp. 153-160). (Trends in Logic). Springer.