Modal Operators on Non-commutative Residuated Lattices
Michiro Kondo, M. F. Kawaguchi · 2012
We prove some fundamental properties of monotone modal operators on (non-commutative) residuated lattices (RL). Moreover we give a simple characterization of pseudo MV-algebras in terms of residuated lattices.