Towards a Proof-Theoretic Semantics of Equalities
Reinhard Kähle · Trends in logic · 2015
We have a fresh look on Frege’s mode of presentation , taking into account proofs of equalities as a key concept. Revisiting the classical example of Morning star and Evening star the account leads to a proposal for a proof-theoretic semantics of equalities.