TY - RPRT TI - The sheaf representation of residuated lattices AU - Huarong Zhang AU - Dongsheng Zhao PY - 2023 DO - 10.46298/entics.10399 UR - https://arxiv.org/abs/2211.15922 ID - 2211.15922 ER -