A semantically complete extension sequence of the system
$$\mathcal{L}^* $$ |
| |
| Authors: | Email author" target="_blank">Daowu?PeiEmail author Guojun?Wang |
| |
| Affiliation: | (1) Institute of Mathematics, Shaanxi Normal University, 710062 Xi’an, China;(2) Department of Mathematics, Yancheng Teachers College, 224002 Yancheng, China |
| |
| 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
. The partial constant values are taken as formulas, formulas are fuzzified in two manners of semantics and syntax, and inferring
processes are fuzzified. A sequence of new extensions {
} of the system
is proposed, and the completeness of
is proved. |
| |
| Keywords: | fuzzy logic " target="_blank">propositional calculus system  gif" alt="
$$\mathcal{L}^* $$
" target="_blank">" align="middle" border="0"> " target="_blank">extension  gif" alt="
$$\mathcal{L}_n^* $$
" target="_blank">" align="middle" border="0"> completeness |
| 本文献已被 SpringerLink 等数据库收录！ |
