Abstract
Based on the truth degrees of formulas and the deviations of theories defined by Hausdorff metric, the present paper introduced a new concept of consistency degrees of theories in n-valued Gödel logical system. Sufficient and necessary conditions for theories being consistent or inconsistent are given. The new index provided in the present paper can also be used to grade the consistency degrees of general theories in fuzzy logic systems.
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., Novak, V.: On the consistency of fuzzy theories. In: Proceedings of 7th IFSA world congress, pp. 168–171. Academia, Prague (1997)
Novak, V., Perfilieva, I.: Mathematical Principles of Fuzzy Logic. Kluwer Academic Publishers, Boston (1999)
Wang, G.J., Zhang, W.X.: Consistency degrees of finite theories in Lukasiewicz propositional fuzzy logic. Fuzzy Sets and Systems 149, 275–284 (2005)
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)
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)
Wang, G.J.: Introduction to Mathematical Logic and Resolution Principle. Science in China Press, Beijing (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, J., Li, H. (2011). Consistency Degrees of Theories in n-Valued Gödel Logical System. In: Shen, G., Huang, X. (eds) Advanced Research on Computer Science and Information Engineering. CSIE 2011. Communications in Computer and Information Science, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21402-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-21402-8_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21401-1
Online ISBN: 978-3-642-21402-8
eBook Packages: Computer ScienceComputer Science (R0)