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