Modal Operators on Non-commutative Residuated Lattices
説明
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.
収録刊行物
-
- 2012 IEEE 42nd International Symposium on Multiple-Valued Logic
-
2012 IEEE 42nd International Symposium on Multiple-Valued Logic 85-88, 2012-05-01
IEEE