欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对BL^＊系统进行了研究。结合Petr Hajek的观点,在BL^＊系统中添加了一元逻辑连接词Δ,得到BL^＊系统的一种扩张BLΔ^＊系统。随后在BLΔ^＊系统中提出了理论的Δ-根的概念,并对其基本性质进行了研究。最后提出了广义与集体广义Δ-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论。
英文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：