Conectivos en el topos de grafos dirigidos
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.
| Author: | |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 1996 |
| Country: | Colombia |
| Institution: | Universidad Nacional de Colombia |
| Repository: | Repositorio UN |
| Language: | Spanish |
| OAI Identifier: | oai:repositorio.unal.edu.co:unal/31643 |
| Online Access: | https://repositorio.unal.edu.co/handle/unal/31643 http://bdigital.unal.edu.co/21722/ |
| Access Level: | Open access |
| Keyword: | connectives directed graphs topoi grothendieck topoi conectivos grafos dirigidos topos de grafos topos |
| Summary: | 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. |
|---|