2000 character limit reached
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability (2303.05672v1)
Published 10 Mar 2023 in math.LO
Abstract: We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent calculus of it is presented. Moreover, we prove the decidability of this logic.