Term Substitution Theorem in First-order Fuzzy Predicate System

摘要：

　　It has given out term substitution theorem in the system K *.R0-algebra is introduced firstly, and then the fuzzy interpretation of the first-order language.It discusses term substitution theorem in the first-order fuzzy predicate system K *.

关键词： first-order language first-order fuzzy predicate term

作者: Zhao Zheng-bo

作者单位: College of Mathematics and Information Science,Weinan Normal University,Weinan,China 714000

会议类型: 国际会议

会议名称: the 3nd International Conference on Digital Manufacturing & Automation (第三届数字制造与自动化国际会议(ICDMA 2012))

会议地点: 桂林

会议语种:英文

页码: 1065-1068

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