{"id":"arxiv/2610.38871","url":"https://arxiv.org/abs/2610.38871","tags":["cs.LO","math.LO"],"score":0,"title":"Connecting Base-Extension Semantics, Beth Semantics, and Ecumenical Logic","domain":"cs.LO","source":"arxiv","authors":["Victor Barroso-Nascimento","Joaquim T. Waddington","Elaine Pimentel"],"reviews":0,"subject":"cs.LO","summary":"We investigate the relationship between base-extension semantics, Beth semantics, and Prawitz's ecumenical logic. We first present a base-extension semantics for the propositional fragment of Prawitz's system and prove that it is sound and complete. The semantics interprets intuitionistic and classical operators directly within a common proof-theoretic framework, without reducing the classical operators to their intuitionistic counterparts by means of a translation. We then analyse the effect of incorporating Beth-style clauses into base-extension semantics. When arbitrary bases are admitted…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-28","reactions":{}}