Involutive Commutative Residuated Lattice without Unit: Logics and Decidability

Yiheng Wang, Hao Zhan, Yu Peng +1

We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operat…