책 이미지
책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780521707572
· 쪽수 : 342쪽
목차
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.