MA, Ying Cang - HE, Huacan C. A propositional calculus formal deductive system ULhe0,1] of universal logic. In ICMLC 2005 : International Conference on Machine Learning and Cybernetics, China, Guangzhou, 18.-21.8.2005 : The Hong Kong Polytechnic University, 2005, s.2716-2721. V*