Now showing items 1-2 of 2

    • H-conjuntos. 

      Páez O., Jorge; Luque A., Carlos; Donado N., Albedo (Editorial Universidad Pedagógica Nacional, 1999-05-11)
      Así como la lógica asociada al álgebra de Heyting 2, permite construir la teoría de conjuntos clásica, cualquier otra álgebra de Heyting H permite construir por analogía teorías que llamaremos ...
    • Razonando con colores (Una aproximación a la lógica intuicionista). 

      Páez O, Jorge; Luque A., Carlos; Donado N., Alberto (Editorial Universidad Pedagógica Nacional, 1999-05-11)
      La lógica clásica, en cuya construcción intervienen proposiciones que sólo pueden tomar dos valores de verdad (Verdadero y Falso), ha sido utilizada para la elaboración de la teoría de conjuntos, piedra fundamental ...