Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
Logic
2023-03-13 v1
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.
Cite
@article{arxiv.2303.05672,
title = {Involutive Commutative Residuated Lattice without Unit: Logics and Decidability},
author = {Yiheng Wang and Hao Zhan and Yu Peng and Zhe Lin},
journal= {arXiv preprint arXiv:2303.05672},
year = {2023}
}
Comments
16 pages