Abstract
By adding new operators \(\varDelta \) and \(\sim \), axiomatic expansion of \(G\ddot{o}del\) n-valued propositional logic system is introduced, which is denoted by \(G\ddot{o}del_{\sim }\). In this paper, the concept of t truth degree of propositional formula is put forward in \(G\ddot{o}del_{\sim }\) (t take \(\varDelta , \sim \)), and the MP rule, HS rule and some related properties are studied; the concepts of t similarity degree, t pseudo-metric between propositional formulas, and t divergent degree and t consistent degree of theory \(\varGamma \) in \(G\ddot{o}del_{\sim }\) are obtained, and their correlation properties are discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Wang, G.J.: Introduction to quantitative logic. Fuzzy Syst. Math. 26(4), 1–11 (2012)
Wang, G.J., Liu, B.C.: The theory of relative \(\Gamma \)-tautology degree of formulas in four propositional logic. Chin. J. Eng. Math. 24(4), 598–610 (2007)
Zhou, J.R., Wu, H.B.: An equivalent definition and some properties of truth degree in Łukasiewicz proposition logic system. Chin. J. Eng. Math. 30(4), 580–590 (2013)
Hui, X.J., Wang, G.J.: Randomized studies and applications of classical reasoning model. Sci. China: E Ser. 37(6), 801–812 (2007)
Hui, X.J., Wang, G.J.: Randomized studies and applications of classical reasoning model (II). Fuzzy Syst. Math. 22(3), 21–26 (2008)
Zuo, W.B.: The theory of \(\mu \)-truth degree of formula in many-valued propositional logic. Chin. J. Syst. Sci. Math. 31(7), 879–892 (2011)
Li, J., Wang, G.J.: The theory of \(\alpha \)-truth degree of \(G\ddot{o}del\) n-valued propositional logic system. Chin. J. Softw. 18(1), 33–39 (2007)
Wu, H.B., Zhou, J.R.: The form of mean representation of truth degree with applications in quantitative logic. Acta Electron. Sin. 40(9), 1821–1828 (2012)
Han, B.H., Li, Y.M.: The approximate reasoning of quantitative logic. Fuzzy Syst. Math. 24(5), 1–7 (2010)
Wang, G.J., Gao, X.N.: The concept and its application of the truth degree of the theory in proposition logic system. J. Shaanxi Normal Univ. (Natural science edition). 37(5), 1–6 (2009)
Yu, H., Zhan, W.R., Wang, G.J.: The distribution of the truth degree. divergent degree and consistent degree in logic system \(L_n\). J. Shaanxi Normal Univ. (Natural science edition). 36(5), 6–9 (2008)
Wei, H.X.: The consistent degree of the theory in n-valued Łukasiewicz proposition logic system. Comput. Eng. Appl. 1–5
Cui, Y.L., Wu, H.B.: The relative divergent degree and relative consistent of the theory in \(L_n^*\) system. Fuzzy Syst. Math. 25(6), 53–59 (2011)
Hui, X.J.: Quantified axiomatic extension systems of \(SBL_{\sim }\) based on truth value. Sci. Sin. Inf. 44(7), 900–911 (2014)
Cintula, P.: Weakly implicative (fuzzy) logics I: basic properties. Arch. Math. Log. 45, 673–704 (2006)
Esteva, F., Godo, L., Hjek, P., et. al.: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39, 103–124 (2000)
Flaminio, T., Marchioni, E.: T-norm based logics with an independent involutive negation. Fuzzy Set Syst. 157, 3125–3144 (2006)
Baaz, M.: Infinite-valued \(G\ddot{o}del\) logic with 0–1 projections and relativisations. Comput. Sci. Phys. Lect. Notes Log. 6, 23–33 (1996)
Cintula, P., Klement, E.P., Mesiar, R., et. al.: Fuzzy logics with an additional involutive negation. Fuzzy Set Syst. 161, 390–411 (2010)
Acknowledgments
Project Supported by the National Natural Science Foundation of China under Grant (11471007); the Natural Science Foundation of Shaanxi Province under Grant (2014JM1020); Graduate Innovation Fund of Yan’an University (YCX201612).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this paper
Cite this paper
Zhu, ND., Hui, XJ., Gao, XL. (2017). A New Theory of T Truth Degree on \({\text {G}}\ddot{\text {o}}{\text {del}}\) n-Valued Propositional Logic System. In: Fan, TH., Chen, SL., Wang, SM., Li, YM. (eds) Quantitative Logic and Soft Computing 2016. Advances in Intelligent Systems and Computing, vol 510. Springer, Cham. https://doi.org/10.1007/978-3-319-46206-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-46206-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46205-9
Online ISBN: 978-3-319-46206-6
eBook Packages: EngineeringEngineering (R0)