TY  - RPRT
TI  - A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
AU  - Juntao Wang
AU  - Mei Wang
AU  - William Zuluaga Botero
PY  - 2026
UR  - https://arxiv.org/abs/2601.22023
ID  - 2601.22023
ER  -