Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
From MaRDI portal
Publication:6429043
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.
This page was built for publication: Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6429043)
