Title
A semantically complete extension sequence of the system L*
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 PEI146227.36
Guojun Wang2578.14
裴道武300.34
王国俊400.34