Resumen de Conectivos en el topos de grafos dirigidos
- 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
