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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have