Title :
Positive Implication R0-Algebras
Author :
Liu, Yong Lin ; Ren, Mei Ying ; Akram, M.
Author_Institution :
Dept. of Math., Wuyi Univ. Wuyishan, Wuyishan, China
fDate :
March 31 2009-April 2 2009
Abstract :
The notion of positive implication R0-algebras is introduced. The characteristic properties of positive implication R0-algebras are obtained.
Keywords :
process algebra; positive implication R0-algebra; Boolean algebra; Computer science; Educational institutions; Information technology; Lattices; Logic; Mathematics; Reflection; $R_0$-algebra; positive implication $R_0$-algebra;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.493