Hausdorff Metric and Consistency Degrees of Theories in n-valued R0 Logical System

摘要：

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 Ro logical system L*n.Sufficient and necessary conditions for theories being consistent or inconsistent are given.

作者: Li Jun Ma Teng

作者单位: School of Science, Lanzho University of Technology,Lanzhou, 730050, China S & C Basics Teaching and Research Section, Xian Military Academy, Xian, 710108, China

会议类型: 国际会议

会议名称: International Conference on Intelligent Computation Technology and Automation(2008 智能计算技术与自动化国际会议 ICICTA 2008)

会议地点: 长沙

会议语种:英文

页码: 2285-2288

在线出版日期: 2008-10-20（万方平台首次上网日期，不代表论文的发表时间）