• 论文 • 上一篇    

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

赖家俊1,徐扬2   

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

赖家俊,徐扬. 基于语言真值格值一阶逻辑系统$\mathcal{L}_{{\bm v}\bm({\bm n}\bm \times\bm 2\bm )}\mathcal{F}\bm (\bm X\bm )$中程度化公式的一些注记[J]. 系统科学与数学, 2013, 33(10): 1256-1262.

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
引入了语言真值格值一阶逻辑系统$\mathcal{L}_{v(n\times2)}\mathcal{F}(X)$的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域$\mathcal{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  $\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.
阅读次数
全文


摘要