Browsing by Author "Gutiérrez Chaparro, Javier Alberto"
Now showing items 1-1 of 1
-
Lógica intuicionista dual y álgebras de Co-Heyting / Dual intuitionistic logic and Co-Heyting algebras
Presentamos 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. 2009-12