Conectivos en el topos de grafos dirigidos

• Arnold Oostra ^[1]
  1. [1] Universidad del Tolima

     Universidad del Tolima

     Colombia

     
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 3, Nº. 2, 1996, págs. 55-62
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen
  • 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