Title :
MP logical algebra
Author_Institution :
Dept. of Comput. Sci., Beijing Normal Univ., Beijing, China
Abstract :
In this paper, we define a logical algebra named MP-algebra and discuss its algebraic properties. We find that MP algebra not only takes Boole algebra, MV-algebra and R0 algebra as its special examples but also holds the subdirect representation theorem same as that of on Boole algebra, MV algebra and R0 algebra. We also explore the basic properties of implication operation of MP-algebra. We prove that an MP-algebra is also a residuated lattice with many good properties. The conclusions we got show that MP-algebra is a well-structure logic algebra when it is taken as the logic truth degree set.
Keywords :
Boolean algebra; formal logic; Boole algebra; MP logical algebra; MV-algebra; algebraic property; logic truth degree set; residuated lattice; subdirect representation theorem; Boolean algebra; Fuzzy logic; Fuzzy sets; Lattices; Semantics; System-on-a-chip; MP-algebra; MV-algebra; R0-algebra; residuated lattice; subdirect representation;
Conference_Titel :
Computer Science and Service System (CSSS), 2011 International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4244-9762-1
DOI :
10.1109/CSSS.2011.5974530