Title :
Modal Operators on Non-commutative Residuated Lattices
Author :
Kondo, Michiro ; Kawaguchi, Mayuka F.
Author_Institution :
Tokyo Denki Univ., Inzai, Japan
Abstract :
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.
Keywords :
lattice theory; multivalued logic; process algebra; monotone modal operator; noncommutative residuated lattice; pseudo MV-algebra; Algebra; Educational institutions; Indexes; Integral equations; Lattices; (non-commutative) residuated lattice; modal operators; pseudo-BL algebras; pseudo-MV algebras;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
Conference_Location :
Victoria, BC
Print_ISBN :
978-1-4673-0908-0
DOI :
10.1109/ISMVL.2012.41
