{"id":"arxiv/2605.04689","url":"https://arxiv.org/abs/2605.04689","tags":["math.LO","cs.LO"],"score":0,"title":"Continuations and Completeness in Proof-theoretic Semantics","domain":"math.LO","source":"arxiv","authors":["Tao Gu","David Pym","Eike Ritter","Edmund Robinson"],"reviews":0,"subject":"math.LO","summary":"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 propositional logic within the form of proof-theoretic semantics that is known as base-extension semantics and a fundamental idea from the theory of computation called continuation-passing semantics. The latter is explained herein both in terms of reduction in natural deduction and the lambda calculus and in terms of proof-search. The relationship between completeness and continuations is explored through an analysis of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}