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:
Author NameAffiliation
WU Hong-bo Inst. of Math.
Shaanxi Normal University
Xi'an
China 
Hits: 2222
Download times: 990
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