Closure Operators and Complete Embeddings of Residuated Lattices |
| |
Authors: | Ono Hiroakira |
| |
Institution: | (1) School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Tatsunokuchi, Ishikawa, 923-1292, Japan |
| |
Abstract: | 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. |
| |
Keywords: | substructural logics residuated lattices complete embeddings completeness |
本文献已被 SpringerLink 等数据库收录! |
|