TY  - RPRT
TI  - Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
AU  - Yiheng Wang
AU  - Hao Zhan
AU  - Yu Peng
AU  - Zhe Lin
PY  - 2023
UR  - https://arxiv.org/abs/2303.05672
ID  - 2303.05672
ER  -