摘要
研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.
The basis BL^＊ system and BR0-algebra are studied. A schematic extension BL△^＊ of BL^＊ system is introduced by adding the unary connective △ to BL^＊ , and then the concept of △BR0-algebra is proposed. Morever,the △-filter of △BR0-algebra and corresponding properties are studied. Finally, the completeness of BL△^＊, is proved by using the properties,and the generalized deductive theorem in BL△^＊ is given.
出处
《吉首大学学报（自然科学版）》
CAS
2009年第6期1-5,共5页
Journal of Jishou University(Natural Sciences Edition)
基金
国家自然科学基金资助项目(10871121)
