{"id":"arxiv/2605.17175","url":"https://arxiv.org/abs/2605.17175","tags":["math.LO"],"score":0,"title":"Inception Display Calculi","domain":"math.LO","source":"arxiv","authors":["Andrea De Domenico","Giuseppe Greco","Alessandra Palmigiano"],"reviews":0,"subject":"math.LO","summary":"Display calculi were introduced by Nuel Belnap in `Display logic' (1982) as a natural extension of Gentzen's sequent calculi, as a uniform and modular framework capable of encompassing broad classes of logics. In `Unified correspondence as a proof-theoretic tool', the properly displayable (D)LE-logics are syntactically characterized as the logics axiomatised by analytic inductive axioms for any signature. We extend the framework of proper display calculi for LE-logics to include axiomatic extensions with axioms that are inductive but not necessarily analytic inductive. This class of axioms…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-16","reactions":{}}