2 papers
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…
math.LO2023
Categorical Proof-Theoretic Semantics
David Pym, Eike Ritter, Edmund Robinson
In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms…