DocumentCode :
2617704
Title :
MP logical algebra
Author :
Yan, Jianping
Author_Institution :
Dept. of Comput. Sci., Beijing Normal Univ., Beijing, China
fYear :
2011
fDate :
27-29 June 2011
Firstpage :
505
Lastpage :
508
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Science and Service System (CSSS), 2011 International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4244-9762-1
Type :
conf
DOI :
10.1109/CSSS.2011.5974530
Filename :
5974530
Link To Document :
بازگشت