Showing 2026Show all
3 papers · 1 filter
math.LO2026
Inferentialist Game Semantics (Extended Abstract)
Joaquim T. Waddington, Alexander V. Gheorghiu, David J. Pym
Game semantics is an elegant approach to the formal semantics of reasoning and computation that grounds model-theoretic concepts of truth and validity in game-theoretic concepts th…
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.LO2026
Continuations and Completeness in Proof-theoretic Semantics
Tao Gu, David Pym, Eike Ritter +1
This is a short paper about the relationship between logic and computation. More specifically, it is about a relationship between the completeness proof for intuitionistic proposit…