2 papers
math.LO2026
Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
Matthew Collinson, Timo Eckhardt, David Pym
Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logic…
math.LO2025
Inferentialist Public Announcement Logic: Base-extension Semantics
Timo Eckhardt, David J. Pym
Proof-theoretic semantics, and base-extension semantics in particular, can be seen as a logical realization of inferentialism, in which the meaning of expressions is understood thr…