Geodesic

Sommaire du Fascicule no. 1

Representación de un álgebra booleana por sus normas triangulares.
Algebras MV maximales.
Convergencia en álgebras MV.
Axiomatización de álgebras cuánticas MV.
Descomposiciones ortogonales de espacios MV.

Sommaire du Fascicule no. 2

Cálculos parametrizados de primo implicante-implicado para lógicas regulares.
Demostrador de teoremas, basado en la reducción, para lógica trivaluada.
Programas de cálculo con lógica multivaluada.
Deducción en lógicas multivaluadas: revisión.

Sommaire du Fascicule no. 3

Sistemas basados en la valoración, para control de etapas múltiples.
El aprendizaje de redes neuronales como problema de control óptimo multiobjetivo.
Ensayo de hipótesis estadísticas en un medio difuso.
Algoritmo genético para control, de etapas múltiples, de un sistema difuso en un medio difuso.
Sistemas genéticos difusos de etapas múltiples basados en el método de aprendizaje iterativo de reglas.
Ponderación de variables cuantitativas y cualitativas en los métodos de análisis cluster.
Sedàs: Sistema general de clasificación basado en la semántica.
Hacia una especificación con inclusiones.
Milord II. Descripción del lenguaje.