| L—Fuzzy命题逻辑系统的语构分层方案 |
| |
| 引用本文： | 郑亚林.L—Fuzzy命题逻辑系统的语构分层方案[J].模糊系统与数学,2001,15(1):40-45. |
| |
| 作者姓名： | 郑亚林 |
| |
| 作者单位： | 西安交通大学理学院信息科学与系统科学研究所, |
| |
| 基金项目： | 陕西省科委自然科学研究计划项目!(98- SL0 8) |
| |
| 摘 要： | 建立一种L－Fuzzy命题逻辑的语构分层构造，引进诸如λ－信息，λ－公理系，λ－语构，λ－证明，λ－定理，λ－语构结论，λ－语构闭包，λ－紧性,，上L－Fuzzy语构闭包，下Fuzzy语构闭包，λ－语构分层和谐，语构分层和谐，强语构分层和谐等新的观念和方法，从而L－Fuzzy命题逻辑语构和语义分层次的程度化的和谐性度量提供了一种方案。
|
| 关 键 词： | L－Fuzzy逻辑 分层语构 分层语义 λ－证明 λ－定理 λ－语构结构 λ－语构分层和谐 λ语构分层和谐 Fuzzy 语构 |
| 文章编号： | 1001-7402(2001)01-0040-06 |
| 修稿时间： | 1999年9月21日 |
Scheme of Stratification Syntax on Fuzzy Propositional Logic |
| |
| ZHENG Ya-lin.Scheme of Stratification Syntax on Fuzzy Propositional Logic[J].Fuzzy Systems and Mathematics,2001,15(1):40-45. |
| |
| Authors: | ZHENG Ya-lin |
| |
| Abstract: | In this paper, a stratification structure of the syntax on L-fuzzy propositional logic is established,some new concepts and methods are introduced,such as λ-information,λ-syntax,λ-axiom system, λ-proof, λ-theorem, λ-syntacitic conclusion,λ-syntacitc closure, λ-compactness, upper fuzzy syntacitic closure, lower fuzzy syntactic closure, λ-harmonious on stratification syntax, harmonious on stratification syntax, strongly harmonious on stratification syntax and so on, as the condlusion,a schene for the measure of the harmony degree with respect to the stratificaion syntax and the stratification semantic is provided. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
