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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)
Esteva, F., Godo, L.: Monoidal t-normbased Logic:Towards A Logic for Left-continous t- norms. Fuzzy Sets and Systems 124, 271–288 (2001)
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)
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)
Francesc, E., Godo, L., et al.: Residuated Fuzzy Logics with an Involutive Negation. Archive for Mathmatical Logic 39, 103–124 (2000)
Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer Academic Publishers, Dordrecht (2000)
Pei, D.W., Wang, G.J.: The Completeness and Applications of the Formal System L*. Science in China (Series F) 45, 40–50 (2002)
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)
Wang, G.J.: Non-classical Mathematical Logic and Approximate Reasoning. Science Press, Beijing (2000) (in Chinese)
Pei, D.W.: First-order Formal System K ∗ and its Completeness. Chinese Annals of Mathematics, Series A 23(6), 675–684 (2002)
Wu, H.B.: Competeness of \(BL_{\triangle}^{\ast}\) System. Journal of Jishou University (Natural Science Edition) 30(6), 1–5 (2009)
He, H.C., et al.: Universal Logic Principle. Science Press, Beijing (2001) (in Chinese)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ma, Y., Zhang, M. (2010). A Predicate Formal System of Universal Logic with Projection Operator. In: Huang, DS., Zhao, Z., Bevilacqua, V., Figueroa, J.C. (eds) Advanced Intelligent Computing Theories and Applications. ICIC 2010. Lecture Notes in Computer Science, vol 6215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14922-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-14922-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14921-4
Online ISBN: 978-3-642-14922-1
eBook Packages: Computer ScienceComputer Science (R0)