Towards an Inferentialist Account of Information Through Proof-theoretic Semantics math.LO · 2026-05-06