An Introduction to Many-valued and Fuzzy Logic : Semantics, Algebras, and Derivation Systems (Hardcover)

Preface; 1. Introduction; 2. Review of classical propositional logic; 3. Review of classical first-order logic; 4. Alternative semantics for truth-values and truth-functions; 5. Three-valued propositional logics: semantics; 6. Derivation systems for three-valued propositional logic; 7. Three-valued first-order logics: semantics; 8. Derivation systems for three-valued first-order logics; 9. Alternative semantics for three-valued systems; 10. The principle of charity reconsidered and a new problem of the fringe; 11. Fuzzy propositional logics: semantics; 12. Fuzzy algebras; 13. Derivational systems for fuzzy propositional logics; 14. Fuzzy first-order logics: semantics; 15. Derivation systems for fuzzy first-order logics; 16. Extensions of fuzziness; 17. Fuzzy membership functions.