BARCINO - Barcelona Research Group in Non-classical Logic

BARCINO – Barcelona Research Group in Non-classical Logic se centra en diversas áreas de la lógica, con especial atención a:

1. Lógicas Formales para la IA - Se enfoca en desarrollar sistemas lógicos para el razonamiento humano en la inteligencia artificial, especialmente el razonamiento no monótono e incierto.
2. Lógica Algebraica - El estudio de los "Teoremas Puente" que vinculan la Lógica y el Álgebra a través de interpretaciones semánticas, aplicando métodos de Álgebra Universal, Teoría de Retículo y Teoría de Categorías.
3. Lógica Difusa Matemática - Extiende la lógica clásica para permitir valores graduales, intersectándose con áreas como el análisis funcional y la teoría de probabilidades.
4. Lógicas Modales e Intuicionistas - Estudia lógicas no clásicas con conexiones con la Topología y el Álgebra, relevantes para campos como la Informática, la Inteligencia Artificial y la Filosofía.

Miembro del departamento que colabora en el grupo: Pilar Dellunde