Positive Implication R0-Algebras. - Yong Lin Liu; Mei Ying Ren; Muhammad Akram 001 (CSIE (4), 2009)