Resumen de Conectivos en el topos de grafos dirigidos

Arnold Oostra

• español

  En 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

• English

  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