| BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题 |
| |
| 引用本文： | 张琼,吴洪博.BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题[J].山东大学学报(自然科学版),2010(4):60-65. |
| |
| 作者姓名： | 张琼 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西西安710062 |
| |
| 基金项目： | 国家自然科学基金资助项目（10871121） |
| |
| 摘 要： | 对BL^＊系统进行了研究。结合Petr Hajek的观点,在BL^＊系统中添加了一元逻辑连接词Δ,得到BL^＊系统的一种扩张BLΔ^＊系统。随后在BLΔ^＊系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论。
|
| 关 键 词： | 模糊逻辑 BL^＊系统 一元逻辑连接词Δ Δ-根 广义MP问题 |
The Δ-root of theory and generalized Δ-modus ponens problem in BLΔ^＊ |
| |
| ZHANG Qiong,WU Hong-bo.The Δ-root of theory and generalized Δ-modus ponens problem in BLΔ^＊[J].Journal of Shandong University(Natural Science Edition),2010(4):60-65. |
| |
| Authors: | ZHANG Qiong WU Hong-bo |
| |
| Institution: | (College of Mathematics and Information Science,Shaanxi Normal University,Xi＇an 710062,Shaanxi,China) |
| |
| Abstract: | Based on the basis system L^＊,a schematic extension BLΔ^＊ is introduced by adding the unary connective △ to BL^＊ with the idea of Petr Hájek.The concept of △-root of theory in BLΔ^＊ is proposed and basic properties of △-roots are investigated.Particularly,the problems of generalized-modus ponens and collectively generalized △-modus ponens are proposed,and the syntactic solutions of them are defined and the existence of solutions is discussed. |
| |
| Keywords: | fuzzy logic basis system L^＊ unary connective △ △-root generalized modus ponens problem |
| 本文献已被 维普 等数据库收录！ |
