Conectivos en el topos de grafos dirigidos
Archivos
Autores
Oostra, Arnold
Director
Tipo de contenido
Artículo de revista
Idioma del documento
EspañolFecha de publicación
1996
Título de la revista
ISSN de la revista
Título del volumen
Documentos PDF
Resumen
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.
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.
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.