• 论文 •

### 基于语言真值格值一阶逻辑系统$\mathcal{L}_{{\bm v}\bm({\bm n}\bm \times\bm 2\bm )}\mathcal{F}\bm (\bm X\bm )$中程度化公式的一些注记

1. 1. 西南交通大学基础课部,峨眉 614202;西南交通大学智能控制开发中心,成都 610031; 2. 西南交通大学智能控制开发中心,成都 610031
• 收稿日期:2012-03-31 出版日期:2013-10-25 发布日期:2014-01-06

LAI Jiajun, XU Yang. SOME NOTES OF DEGREE FORMULA BASED ON LINGUISTIC TRUTH-VALUED LATTICE VALUE FIRST-ORDER LOGIC SYSTEM Lv(n×2)F(X)[J]. Journal of Systems Science and Mathematical Sciences, 2013, 33(10): 1256-1262.

### SOME NOTES OF DEGREE FORMULA BASED ON LINGUISTIC TRUTH-VALUED LATTICE VALUE FIRST-ORDER LOGIC SYSTEM Lv(n×2)F(X)

LAI Jiajun1, XU Yang2

1. 1. Department of Basic courses, SouthWest JiaoTong University, Emei 614202; Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031; 2.Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031
• Received:2012-03-31 Online:2013-10-25 Published:2014-01-06

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  $\mathcal{L}_{v(n\times2)}\mathcal{F}(X)$are introduced in this paper, and some deductive properties of partial truth formula and absolute
truth formula under interpretation domain $\mathcal{D}$ are discussed. Some characteristics of semantic and syntax are investigated about the partial truth and absolute truth of degree formula.

MR(2010)主题分类:

()
 [1] 李成允;张兴芳. Godel逻辑和L*逻辑中公式的真度分布[J]. 系统科学与数学, 2010, 30(10): 1417-1428.