Abstract
The aim of this chapter is the partial axiomatization for first-order predicate calculus formal system based on Schweizer–Sklar t-norm. By introducing the universal quantifier and existential quantifier, a predicate calculus formal deductive system \(\forall {\hbox{UL}}^{\ast}\) based on Schweizer–Sklar t-norm according to propositional calculus formal deductive system \({\hbox{UL}}^{\ast}\) based on Schweizer–Sklar t-norm is built up, moreover, the completeness of system \(\forall{\hbox{UL}}^{\ast}\) are proved. So it shows that the semantic and syntactic of system \(\forall {\hbox{UL}}^{\ast}\) are harmony.
keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Hajek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht
Esteva F, Godo L (2001) Monoidal t-normbased logic:towards a logic for left-continous t- norms. Fuzzy Sets Syst 124:271–288
Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft comput 4:106–112
Hohle U (1995) Commutative, residuated l-monoids. In: Non-Classical Logics, TheirApplicationstoFuzzySubsets. Hohle U, Klement EP (eds) Kluwer Academic Publishers. Dordrecht, London, pp 53–106
Esteva F, Godo L et al (2000) Residuated fuzzy logics with an involutive negation. Arch Math Log 39:103–124
Klement EP, Mesiar R, Pap E (2000) Triangular Norms. Kluwer Academic Publishers, Dordrecht
Pei DW, Wang GJ (2002) The completeness and applications of the formal system L*. Sci China (Ser F) 45:40–50
Wang SM, Wang BS, Pei DW (2005) A fuzzy logic for an ordinal sum t-norm. Fuzzy Sets Syst 149:297–307
Wang GJ (2000) Non-classical mathematical logic and approximate reasoning. Science Press, Beijing (in Chinese)
Pei DW (2002) First-order Formal System \(K^\ast\) and its completeness. Chinese Annals Math Ser A 23(6):675–684
Wu HB (2009) Competeness of \(BL_{\triangle}^{\ast}\) system. J Jishou Univ (Nat Sci Ed) 30(6):1–5
He HC et al (2001) Universal Logic Principle. Science Press(in Chinese), Beijing
Ma YC, He HC (2005) The fuzzy reasoning rules based on universal logic. In: 2005 IEEE international conference on GrC, IEEE Press, pp 561–564
Ma YC, He HC (2005) A propositional calculus formal deductive system \(\mathcal {UL}_{h\in (0,1]}\) of universal logic. In: Proceedings of 2005 ICMLC, IEEE Press, pp 2716–2721
Ma YC, Li QY (2006) A propositional deductive system of universal logic with projection operator. In: Proceedings of 2006 ISDA, IEEE Press, pp 993–998
Ma YC, He HC (2006) The axiomatization for 0-level universal logic. Lect Notes Artif Intell, 3930:367–376
Ma YC, He HC (2008) Axiomatization for 1-level universal AND operator. J China Univ Posts Telecommun, 15(2):125–129
Klement EP, Navara M (1999) Propositional fuzzy logics based on Frank t-norms: a comparison in fuzzy Sets, logics and reasoning about knowledge Dubois D et al. (eds.), Kluwer Academic Publishers
Wu WM (2000) Generalized tautologies in parametric Kleene’s systems. Fuzzy Syst Math, 14(1):1–7
Wang GJ, Lan R (2003) Generalized tautologies of the systems \(H_\alpha,\). J Shaanxi Normal Univ (Nat Sci Ed), l31(2):1–11
Whalen T (2003) Parameterized R-implications. Fuzzy Sets Syst 134(2):231–281
Zhang XH, He HC, Xu Y (2006) A fuzzy logic system based on Schweizer–Sklar t-norm. Sci China (Ser F: Inf Sci) 49(2):175–188
Li QY, Ma YC, The predicate system based on Schweizer–Sklar t-norm and its soundness (submitted)
Acknowledgments
This work is supported by Scientific Research Program Funded by Shaanxi Provincial Education Department (Program No. 2010JK567).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media B.V.
About this paper
Cite this paper
Qiao-Yan, L., Tao, C. (2012). The Predicate System Based on Schweizer–Sklar t-Norm and Its Completeness. In: He, X., Hua, E., Lin, Y., Liu, X. (eds) Computer, Informatics, Cybernetics and Applications. Lecture Notes in Electrical Engineering, vol 107. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1839-5_22
Download citation
DOI: https://doi.org/10.1007/978-94-007-1839-5_22
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-1838-8
Online ISBN: 978-94-007-1839-5
eBook Packages: EngineeringEngineering (R0)