Yingcang Ma

Learn More
The aim of this paper is the partial axiomatization for universal logic which was proposed by Prof H.C. He in 2001. Firstly, a propositional calculus formal deductive system UL<sub>hisin(0,1)</sub> <sup>Delta</sup> for 0-level universal AND operator is built up. Secondly, the corresponding algebra LstrokPiG<sub>Delta</sub> is introduced. Finally, we prove(More)
Some algebraic properties of rough approximation operators over Boolean algebras are investigated and the concept of rough Stone algebra (by J.Pomykala and J.A.Pomykala) and rough Nelson algebra (it is also called rough sets system by P.Pagliani) are generalized. From two directions, the rough implication operators based on rough set model over Boolean(More)
Traditional fuzzy reasoning methods have two problems 1) the operators appearing in the fuzzy reasoning methods are fixed; 2) how to select the operations for the reasoning methods. In order to solve the problems, we propose the updating fuzzy reasoning method based on universal logic in this paper. The reasoning rules based on universal logic of five fuzzy(More)