## Basic logic and BL-algebras

- P. H ajek
- Soft Computing
- 1998

- Published 2001

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.

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