Algebra de la lógica borrosa
Profesor: Roberto Cignoli
Puntaje: 3 puntos (Lic. y Prof.)
Correlatividades: Cálculo Avanzado (final)
Carga horaria: 4 hs. semanales (clases teóricas)
Carreras: Licenciatura en Matemática (Or. Pura y Aplicada), Doctorado en Matemática, Profesorado en Matemáticas
Breve descripción del curso:
Cálculo proposicional clásico y álgebras de Boole. Cálculo intuicionista y álgebras de Heyting. Lógica borrosa. Normas triangulares en el segmento unitario real [0,1]. Lógica borrosa básica. BL-álgebras. Propiedades básicas. Subvariedades: MV-álgebras, PL-álgebras y álgebras de Heyting lineales. Estructura de las BL-cadenas. Relaciones con los grupos abelianos reticulados. Teoremas de isomorfismos parciales. Teoremas de completitud con respecto a las normas triangulares continuas. Propiedad de los modelos finitos.
Bibliografia:
R. Cignoli, M. L. D’Ottaviano, D. Mundici, “Algebraic foundations of many-valued reasoning”, Kluwer, Amsterdam, 2000.
P. Hájek, “Metamathematics of fuzzy logic”, Kluwer, Amsterdam, 1998.
Artículos recientes en revistas especializadas.
