Publicado

1996-07-01

Conectivos en el topos de grafos dirigidos

Palabras clave:

conectivos, grafos dirigidos, topos de grafos, topos (es)
connectives, directed graphs, topoi, grothendieck topoi (en)

Descargas

Autores/as

  • Arnold Oostra Universidad del Tolima
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.

 

Visitas a la página del resumen del artículo

513

Descargas

Los datos de descarga aún no están disponibles.

Cómo citar

Oostra, A. (1996). Conectivos en el topos de grafos dirigidos. Boletín De Matemáticas, 3(2), 55-62. https://revistas.unal.edu.co/index.php/bolma/article/view/18228

Licencia

Derechos de autor 1996 Boletín de Matemáticas

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.