{"id":"arxiv/2610.01547","url":"https://arxiv.org/abs/2610.01547","tags":["math.LO"],"score":0,"title":"Tense Logic via Truth Degrees: An Algebraic Completeness Result for Kashima's Calculus","domain":"math.LO","source":"arxiv","authors":["Martín Figallo","Jonathan Sarmiento","Luis Pezzini"],"reviews":0,"subject":"math.LO","summary":"We study the minimal tense logic $K_t$ from an algebraic and proof-theoretic perspective. We introduce the degree-of-truth-preserving logic associated with the class of tense Boolean algebras. We then introduce a sequent calculus for this logic and establish its soundness and completeness with respect to tense Boolean algebras by means of an adaptation of the Lindenbaum--Tarski construction. Consequently, this calculus provides an additional syntactic presentation of the minimal tense logic $K_t$. We also provide a second, purely syntactic proof of completeness. Furthermore, we establish an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-01","reactions":{}}