Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 27 de julio de 2024
  

Deduction in many-valued logics: a survey.

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
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es