Título inglés | Deduction in many-valued logics: a survey. |
---|---|
Título español | Deducción en lógicas multivaluadas: revisión. |
Autor/es | Hähnle, Reiner ; Escalada-Imaz, Gonzalo |
Organización | Inst. Logik Komplexit. Deduktionssyst. Univ. Karlsruhe, Karlsruhe, Alemania;Inst. Invest. Intel. Artif. [CSIC], Barcelona, España |
Revista | 1134-5632 |
Publicación | 1997, 4 (2): 69-97, 157 Ref. |
Tipo de documento | articulo |
Idioma | Inglés |
Clasificación UNESCO | 120304 ; 110214 |
Palabras clave español | Lógica multivaluada ; Lógica simbólica ; Lógica difusa ; Inteligencia artificial ; Programación lógica |
Código MathReviews | MR1621902 |
Código Z-Math | Zbl 0887.03017 |
![]() |