基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中程度化公式的一些注记  

SOME NOTES OF DEGREE FORMULA BASED ON LINGUISTIC TRUTH-VALUED LATTICE VALUE FIRST-ORDER LOGIC SYETEM L_(v(n×2))F(X)

作　　者：赖家俊[1,2] 徐扬[2] 

机构地区：[1]西南交通大学基础课部,峨眉614202 [2]西南交通大学智能控制开发中心,成都610031

出　　处：《系统科学与数学》2013年第10期1256-1262,共7页Journal of Systems Science and Mathematical Sciences

基　　金：国家自然科学基金(60875034;61175055;11171308);四川省科技支撑计划项目(2011FZ0051)资助课题

摘　　要：引入了语言真值格值一阶逻辑系统L_(v(n×2))F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真的一些推演性质,得到了程度化公式偏真和恒真的一些语义与语法特征.The atom degree formula and degree well-formed formulas of linguistic truth-valued lattice value based on linguistic truth-valued lattice value first-ordered logic system Lv（n×2）F（X） are introduced in this paper, and some deductive propertiesof partial truth formula and absolute truth formula under interpretation domain D are discussed. Some characteristics of semantic and syntax are investigated about the partial truth and absolute truth of degree formula.

关 键 词：语言真值格值一阶逻辑 形式推演 逻辑公式 程度化公式 

分 类 号：O141.1[理学—数学]