{"id":"arxiv/2605.19349","url":"https://arxiv.org/abs/2605.19349","tags":["math.LO"],"score":0,"title":"A proof system for the positive fragment of GL","domain":"math.LO","source":"arxiv","authors":["Yoshihito Tanaka"],"reviews":0,"subject":"math.LO","summary":"In this paper, we present a proof system $\\mathsf{GL}_{+}^{\\top\\bot}$, which is based on a sequent system $\\mathsf{K}_{+}^{\\top\\bot}$ given by Dunn, for the positive fragment of $\\mathsf{GL}$. Positive modal formulas are modal formulas that contain neither negation symbols nor implication symbols. More precisely, they are modal formulas constructed from the connectives $\\lor$, $\\land$, $\\Diamond$, $\\Box$, $\\bot$, $\\top$, and propositional variables. The logic $\\mathsf{GL}$ is the least normal modal logic that contains $\\mathsf{K}$ and the Löb formula $\\Box(\\Box p\\supset p)\\supset\\Box p$.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-19","reactions":{}}