Browsing by Author "Gutiérrez Chaparro, Javier Alberto"
Now showing items 1-1 of 1
-
Lógica intuicionista dual y álgebras de Co-Heyting
Gutiérrez Chaparro, Javier AlbertoPresentamos ejemplos de álgebras de Heyting, co-Heyting y bi-Heyting y relaciones con las lógicas intuicionista, dual-intuicionista y bi-intuicionista. Estudiamos los operadores modales descritos en Reyes and Zolfaghari, ...Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas.