A note on the notion of truth in fuzzy


In fuzzy predicate logic, assignment of truth values may be partial, i.e. the truth value of a formula in an interpretation may be undeened (due to lack of some innnite suprema or innma in the underlying structure of truth values). A logic is supersound if each provable formula ' is true (has truth value 1) in each interpretation in which the truth value of ' is deened. If is shown that among the logics given by continuous t-norms, GG odel logic is the only one that is supersound; all others are (sound but) not supersound.

Extracted Key Phrases

Cite this paper

@inproceedings{Shepherdson2001ANO, title={A note on the notion of truth in fuzzy}, author={John Shepherdson}, year={2001} }