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

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

对BL*系统进行了研究。结合PetrH偄jek的观点,在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.