On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results

@article{Novk1990OnTS,
  title={On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results},
  author={Vil{\'e}m Nov{\'a}k},
  journal={Kybernetika},
  year={1990},
  volume={26},
  pages={134-154}
}
This paper is a continuation of Part I [9]. First, the extension of fuzzy theories is studied and the important deduction theorem is proved which is a generalisation of the corresponding classical one. In Section 7.3, algebraic properties of the set of formulae are studied. This section serves as a preparation for the proofs of the most important theorems in this paper which are the completeness theorems being generalisation of the famous Godel's ones in classical logic. At last, some theorems… CONTINUE READING