您的位置:山东大学 -> 科技期刊社 -> 《山东大学学报(理学版)》

J4 ›› 2010, Vol. 45 ›› Issue (4): 60-65.

• 论文 • 上一篇    下一篇

BLΔ*系统中理论的Δ-根及广义Δ-MP问题

张琼,吴洪博*   

  1. 陕西师范大学数学与信息科学学院, 陕西 西安 710062
  • 收稿日期:2009-04-17 出版日期:2010-04-10 发布日期:2010-05-19
  • 通讯作者: 吴洪博(1959-),男,博士,教授,研究方向为格上拓扑与非经典数理逻辑.
  • 作者简介:张琼(1985-),女,硕士研究生,研究方向为非经典数理逻辑.Email:zhangqiong.zhang@yahoo.com.cn
  • 基金资助:

    国家自然科学基金资助项目(10871121)

The Δ-root of theory and generalized Δ-modus  ponens problem in BLΔ*

ZHANG Qiong, WU Hongbo*   

  1. College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, Shaanxi, China
  • Received:2009-04-17 Online:2010-04-10 Published:2010-05-19

摘要:

对BL*系统进行了研究。结合Petr Hájek的观点,在BL*系统中添加了一元逻辑连接词Δ,得到BL*系统的一种扩张BLΔ*系统。随后在BLΔ*系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论。

关键词: 模糊逻辑;BL*系统; 一元逻辑连接词Δ;Δ-根;广义MP问题

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.

Key words:  fuzzy logic; basis system L*; unary connective Δ;Δ-root; generalized modus ponens problem

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!