{"id":"arxiv/2610.24203","url":"https://arxiv.org/abs/2610.24203","tags":["math.LO"],"score":0,"title":"A Kleene-inspired sequent system for a minimal logic of evidence and truth","domain":"math.LO","source":"arxiv","authors":["Nino Grandinetti","Abilio Rodrigues"],"reviews":0,"subject":"math.LO","summary":"This paper investigates the proof theory of the logic of evidence and truth LETFm, with the aim of obtaining a sequent calculus consisting only of logical rules, suitable for a simple bottom-up decision procedure. We begin with G1f, a sequent system containing structural rules, which makes explicit the main difficulties in obtaining a fully logical and decidable calculus for LETFm. We then introduce G3f, a G3-style system obtained from by applying Kleene's trick, which absorbs contraction into the logical rules by adding the principal formula of the rule to its premises.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}