托运
发表于 2025-3-28 15:08:01
A Survey of Residuated Latticesroups, ideal lattices of rings, linear logic and multi-valued logic. Our exposition aims to cover basic results and current developments, concentrating on the algebraic structure, the lattice of varieties, and decidability..We end with a list of open problems that we hope will stimulate further research.
PRE
发表于 2025-3-28 20:48:50
http://reply.papertrans.cn/11/1013/101224/101224_42.png