Atribución-NoComercial 4.0 InternacionalOostra, Arnold2019-06-262019-06-261996https://repositorio.unal.edu.co/handle/unal/31643En este artículo se describe el topos de grafos dirigidos y se presentan dos conectivos de aridad 1 que, junto con los de Heyting, constituyen un sistema completo de conectivos para el mismo.We provide a description of the topos of directed graphs and we present two connectives (of arity 1) wich, together with Heyting's connectives, provide a complete system for the propositional logic of the topos.application/pdfspaDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/Artículo de revistahttp://bdigital.unal.edu.co/21722/info:eu-repo/semantics/openAccessconnectivesdirected graphstopoigrothendieck topoiconectivosgrafos dirigidostopos de grafostopos