A Predicate Formal System of Universal Logic with Projection Operator

The propositional calculus formal deductive systemULδh∈(0,1] for 0-level universal AND operator with projection operator has been built up. In this paper, according to the propositional system, a predicate calculus formal deductive system ∀ULδh∈(0,1] for 0-level universal AND operator with projection operator is built up. The soundness theorem and deduction theorem of system ∀ULδh∈(0,1] are given.

[1]  Hua-Can He,et al.  A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of universal logic , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[2]  Yingcang Ma,et al.  The fuzzy reasoning rules based on universal logic , 2005, 2005 IEEE International Conference on Granular Computing.

[3]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[4]  Ulrich Höhle,et al.  Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[6]  Yuping Bi,et al.  Establishment of multiple shoot clumps from maize (Zea mays L.) and regeneration of herbicide-resistant transgenic plantlets , 2002, Science in China Series C: Life Sciences.

[7]  Francesc Esteva,et al.  Review of Triangular norms by E. P. Klement, R. Mesiar and E. Pap. Kluwer Academic Publishers , 2003 .

[8]  Daowu Pei,et al.  The completeness and applications of the formal system ℒ* , 2002, Science in China Series F: Information Sciences.

[9]  Yingcang Ma,et al.  The Axiomatization for 0-Level Universal Logic , 2005, ICMLC.

[10]  Daowu Pei,et al.  A fuzzy logic for an ordinal sum t-norm , 2005, Fuzzy Sets Syst..

[11]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[12]  Hong Yan,et al.  Advances in Machine Learning and Cybernetics, 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers , 2006, ICMLC.

[13]  U. Höhle.  Commutative, residuated 1—monoids , 1995 .

[14]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[15]  Petr Hájek,et al.  Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[16]  Yingcang Ma,et al.  A Propositional Deductive System Of Universal Logic with Projection Operator , 2006, Sixth International Conference on Intelligent Systems Design and Applications.