Páez O., JorgeLuque A., CarlosDonado N., Albedo2021-08-022021-08-021999-05-112323-01262665-3184http://hdl.handle.net/20.500.12209/15686Así 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 de H-conjuntos [8], los cuales están definidos por predicados cuyos valores de verdad son los elementos del conjunto H y donde las proposiciones que ellos generan pueden conectarse mediante las operaciones (٨ ,٧,→ ), propias del álgebra considerada. En estas teorías es posible desarrollar conceptos que generalizan nociones entre conjuntos como las de producto, relaciones y funciones, etc. A pesar de que el conjunto de valores de verdad de H permite incluir casos como el del intervalo real [0,1] y que las operaciones (٨) e (٧) a definir coinciden con las de la lógica difusa [3], esta teoría difiere de aquella por no considerar definido un complemento y por considerar el operador (→)como el adjunto a derecha del operador (٨).application/pdfspahttps://creativecommons.org/licenses/by-nc/4.0info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Artículo de revistaAttribution-NonCommercial 4.0 International