Linear finitely separated objects of subcategories of domains
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of, e.g., -algebras and Heyting algebras. In the paper, the properties of local and perfect bounded commutative -monoids are investigated.