Abstract | ||
---|---|---|
In this paper, the method of well-combined semantics and syntax proposed by Pavelka is applied to the research of the propositional calculus formal system L*. The partial constant values are taken as formulas, formulas are fuzzifled in two manners of semantics and syntax, and inferring processes are fuzzified. A sequence of new extensions {L-n*} of the system L* is proposed, and the completeness of L-n* is proved. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1360/03yf9007 | SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES |
Keywords | Field | DocType |
fuzzy logic,propositional calculus system L*,extension L-n*,completeness | Mathematical optimization,Algebra,Mathematics | Journal |
Volume | Issue | ISSN |
46 | 2 | 1009-2757 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daowu PEI | 1 | 462 | 27.36 |
Guojun Wang | 2 | 57 | 8.14 |
裴道武 | 3 | 0 | 0.34 |
王国俊 | 4 | 0 | 0.34 |