Now showing items 1-1 of 1

    • Lógica intuicionista dual y álgebras de Co-Heyting 

      Gutiérrez Chaparro, Javier Alberto
      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.