The Properties of BR0-algebra and Its Applications in L* System |
Received:February 01, 2001 |
Key Words:
fuzzy logic basic R0-algebra L* system fuzzy deductive theorem.
|
Fund Project: |
|
Hits: 2334 |
Download times: 1040 |
Abstract: |
The formal deductive system L* for fuzzy prepositional calculus and R0-algebra relevant to former in semantics have been studied, a concept of basic R0-algebra with its properties is proposed in this paper. We change the deduction and proof in L* system into the relevant algebra's operation in R0-algebra. As its application, we prove the fuzzy deductive theorem in L* system. |
Citation: |
DOI:10.3770/j.issn:1000-341X.2003.03.030 |
View Full Text View/Add Comment |