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

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