An introduction to many-valued and fuzzy logic semantics, algebras, and derivation systems
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press
2008
|
| Materias: | |
| Acceso en línea: | Sumario |
| Ver en Universidad de Navarra: | https://unika.unav.edu/discovery/fulldisplay?docid=alma991003935619708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es |
Tabla de Contenidos:
- Review of classical propositional logic
- Review of classical first-order logic
- Alternative semantics for truth-values and truth-functions : numeric truth-values and abstract algebras
- Three-valued propositional logics : semantics
- Derivation systems for three-valued propositional logic
- Three-valued first-order logics : semantics
- Derivation systems for three-valued first-order logics
- Alternative semantics for three-valued logic
- The principle of charity reconsidered and a new problem of the fringe
- Fuzzy propositional logics : semantics
- Fuzzy algebras
- Derivation systems for fuzzy propositional logics
- Fuzzy first-order logics : semantics
- Derivation systems for fuzzy first-order logics
- Extensions of fuzziness
- Fuzzy membership functions.
