ICIC 2010: Advanced Intelligent Computing Theories and Applications pp 134-141 | Cite as
A Predicate Formal System of Universal Logic with Projection Operator
Conference paper
Abstract
The propositional calculus formal deductive system \(\mathcal {UL}_{h\in (0,1]}^{\triangle }\) 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 \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle }\) for 0-level universal AND operator with projection operator is built up. The soundness theorem and deduction theorem of system \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle }\) are given.
Keywords
Universal logic Fuzzy logic Predicate calculus AxiomatizationPreview
Unable to display preview. Download preview PDF.
References
- 1.Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)CrossRefMATHGoogle Scholar
- 2.Esteva, F., Godo, L.: Monoidal t-normbased Logic:Towards A Logic for Left-continous t- norms. Fuzzy Sets and Systems 124, 271–288 (2001)MathSciNetCrossRefMATHGoogle Scholar
- 3.Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic Fuzzy Logic is the Logic of Continuous t-norms and Their Residua. Soft computing 4, 106–112 (2000)CrossRefGoogle Scholar
- 4.Hohle, U.: Commutative, Residuated L-monoids. In: Hohle, U., Klement, E.P. (eds.) Non-Classical Logics and Their Applications to Fuzzy Subsets, pp. 53–106. Kluwer Academic Publishers, Dordrecht (1995)CrossRefGoogle Scholar
- 5.Francesc, E., Godo, L., et al.: Residuated Fuzzy Logics with an Involutive Negation. Archive for Mathmatical Logic 39, 103–124 (2000)MathSciNetCrossRefMATHGoogle Scholar
- 6.Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer Academic Publishers, Dordrecht (2000)CrossRefMATHGoogle Scholar
- 7.Pei, D.W., Wang, G.J.: The Completeness and Applications of the Formal System L*. Science in China (Series F) 45, 40–50 (2002)MathSciNetCrossRefMATHGoogle Scholar
- 8.Wang, S.M., Wang, B.S., Pei, D.W.: A Fuzzy Logic for an Ordinal Sum t-norm. Fuzzy Sets and Systems 149, 297–307 (2005)MathSciNetCrossRefMATHGoogle Scholar
- 9.Wang, G.J.: Non-classical Mathematical Logic and Approximate Reasoning. Science Press, Beijing (2000) (in Chinese)Google Scholar
- 10.Pei, D.W.: First-order Formal System K ∗ and its Completeness. Chinese Annals of Mathematics, Series A 23(6), 675–684 (2002)MathSciNetMATHGoogle Scholar
- 11.Wu, H.B.: Competeness of \(BL_{\triangle}^{\ast}\) System. Journal of Jishou University (Natural Science Edition) 30(6), 1–5 (2009)Google Scholar
- 12.He, H.C., et al.: Universal Logic Principle. Science Press, Beijing (2001) (in Chinese)Google Scholar
- 13.Ma, Y.C., He, H.C.: The Fuzzy Reasoning Rules Based on Universal Logic. In: 2005 IEEE International Conference on GrC, pp. 561–564. IEEE Press, Los Alamitos (2005)Google Scholar
- 14.Ma, Y.C., He, H.C.: A Propositional Calculus Formal Deductive System \(\mathcal {UL}_{h\in (0,1]}\) of Universal Logic. In: Proceedings of 2005 ICMLC, pp. 2716–2721. IEEE Press, Los Alamitos (2005)Google Scholar
- 15.Ma, Y.C., Li, Q.Y.: A Propositional Deductive System of Universal Logic with Projection Operator. In: Proceedings of 2006 ISDA, pp. 993–998. IEEE Press, Los Alamitos (2006)Google Scholar
- 16.Ma, Y.C., He, H.C.: The Axiomatization for 0-level Universal Logic. In: Yeung, D.S., Liu, Z.-Q., Wang, X.-Z., Yan, H. (eds.) ICMLC 2005. LNCS (LNAI), vol. 3930, pp. 367–376. Springer, Heidelberg (2006)CrossRefGoogle Scholar
- 17.Ma, Y.C., He, H.C.: Axiomatization for 1-level Universal AND Operator. The Journal of China Universities of Posts and Telecommunications 15(2), 125–129 (2008)MathSciNetCrossRefGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2010