Lógica Intuicionista Dual y Co-Álgebras de Co-Heyting

MSc. Javier A. Gutierrez


Escuela de Matemáticas
Universidad Sergio Arboleda
Bogotá, Colombia

Fecha: Martes 14 de Septiembre 2010
Salon: F-405
Hora: 4 – 6 pm

Se comentarán algunas características de lógica intuicionista e
intuicionista dual. Mostraré algunas de sus semánticas naturales y
finalmente su relación con espacios bi-topológicos vía topologías
ordenadas.

Palabras claves: Intuicionismo dual, espacios
bi-topológicos, co-álgebras de co-Heyting