DocumentCode :
3227934
Title :
Hausdorff Metric and Consistency Degrees of Theories in n-Valued R0 Logical System
Author :
Li Jun ; Ma Teng
Author_Institution :
Sch. of Sci., Lanzhou Univ. of Technol., Lanzhou
Volume :
2
fYear :
2008
fDate :
20-22 Oct. 2008
Firstpage :
994
Lastpage :
997
Abstract :
Based on Hausdorff metric and the truth degrees of formulas, the present paper proposes an index reflecting the extent to which a general theory is consistent in n-valued R0 logical system Ln*.Sufficient and necessary conditions for theories being consistent or inconsistent are given.
Keywords :
formal logic; Hausdorff metric; n-valued R0 logical system; theory consistency degree; Algebra; Automation; Education; Fuzzy logic; Fuzzy systems; Military computing; Multivalued logic; Paper technology; Consistency degree; Hausdorff metric; Truth degree;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Intelligent Computation Technology and Automation (ICICTA), 2008 International Conference on
Conference_Location :
Hunan
Print_ISBN :
978-0-7695-3357-5
Type :
conf
DOI :
10.1109/ICICTA.2008.141
Filename :
4659912
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3227934
بازگشت