Closure Operators and Complete Embeddings of Residuated Lattices
Closure Operators and Complete Embeddings of Residuated Lattices
复制标题
闭包算子和剩余格子的完全嵌入
DOI：
10.1023/a:1025171301247
复制
发表时间：
2003
期刊：
影响因子：
0.7
通讯作者：
H. Ono
中科院分区：
文献类型：
--
作者：
H. Ono
本文证明了偏序幺半群在完备剩余格中的完全嵌入的存在性定理。由此，许多有趣的结果，剩余格和子结构逻辑如下，包括各种类型的完备性定理的子结构逻辑。
In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.