Abstract
In the present paper we deal with graded reasoning in n-valued Łukasiewicz propositional logic Ł n . Firstly we propose an approach to measure the extent to which a theory over Ł n is consistent. Secondly, with the concept of consistency degrees of theories, we give several methods of graded reasoning in n-valued Łukasiewicz propositional logic Ł n .
Projected by the Natural Science Foundation of China under Grant 10331010, and the Superior Dissertation Foundation of Shaanxi Normal University.
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
Gottwald, S.: A Treatise on Many-Valued Logics, Studies in Logic and Computation. Research Studies Press, Baldock (2001)
Gottwald, S., Novák, V.: On the consistency of fuzzy theories. In: Proc. of 7th IFSA World Congress, Academi, Prague, pp. 168–171 (1997)
Hájek, P.: Metamathematics of Fuzzy logic. Kluwer Academic Publishers, Dordrecht (1998)
Halmos, P.R.: Masure Theory. Springer, New York (1974)
Novák, V., Perfilieva, I., Močkoř, J.: Mathematical Principles of Fuzzy Logic. Kluwer Academic Publishers, Boston (1999)
Pogorzelski, W.A.: The deduction theorem for Łukasiewicz many-valued propositional calculi. Studia Logica 15, 7–23 (1964)
Turunen, E.: Mathematics Behind Fuzzy Logic. Advances in Soft Computing. Physica-Verlag, Heidelbery (1999)
Tuziak, R.: An axiomatization of the finite valued Lukasiewicz Calculus. Studia Logica 47, 49–55 (1988)
Wang, G.J., Li, B.J.: Theory of truth degrees of formulas in Łukasiewicz n-valued propositional logic and a limit theorem (in Chinese). Sci. China, Information Science E 35(6), 561–569 (2005)
Wang, G.J., Zhang, W.X.: Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic. Fuzzy Sets and Systems 149, 275–284 (2005)
Zhou, H.J., Wang, G.J.: A new theory consistency index based on deduction theorems in several logic systems. Fuzzy Sets and Systems 157, 427–443 (2006)
Zhou, H.J., Wang, G.J.: Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Fuzzy Sets and Systems 157, 2058–2073 (2006)
Zhou, H.J., Wang, G.J., Zhou, W.: Consistency degrees of theories and methods of graded reasoning in n-valued R 0-logic(NM-logic). International Journal of Approximate Reasoning 43, 117–132 (2006)
Zhou, X.N., Wang, G.J.: Consistency degrees of theories in some systems of propositional fuzzy logic. Fuzzy Sets and Systems 152, 321–331 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhou, H., Wang, G. (2007). Graded Reasoning in n-Valued Łukasiewicz Propositional Logic. In: Wegrzyn-Wolska, K.M., Szczepaniak, P.S. (eds) Advances in Intelligent Web Mastering. Advances in Soft Computing, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72575-6_62
Download citation
DOI: https://doi.org/10.1007/978-3-540-72575-6_62
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72574-9
Online ISBN: 978-3-540-72575-6
eBook Packages: EngineeringEngineering (R0)