journal6 ›› 2009, Vol. 30 ›› Issue (6): 1-5.
• Mathematics • Next Articles
Online:
Published:
Abstract: 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.
Key words: fuzzy logic, BL* system, &Delta, -filter, completeness, generalized deductive theorem
WU Hong-Bo. Completeness of BL*Δ System[J]. journal6, 2009, 30(6): 1-5.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: https://zkxb.jsu.edu.cn/EN/
https://zkxb.jsu.edu.cn/EN/Y2009/V30/I6/1