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.

Autores:
Oostra, Arnold
Tipo de recurso:
Article of journal
Fecha de publicación:
1996
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/31643
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/31643
http://bdigital.unal.edu.co/21722/
Palabra clave:
connectives
directed graphs
topoi
grothendieck topoi
conectivos
grafos dirigidos
topos de grafos
topos
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_ae6c7282f6f98befddf485a7e1ec4f61
oai_identifier_str oai:repositorio.unal.edu.co:unal/31643
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Oostra, Arnold44199298-8435-4a19-b41b-2602debb30103002019-06-26T14:40:44Z2019-06-26T14:40:44Z1996https://repositorio.unal.edu.co/handle/unal/31643http://bdigital.unal.edu.co/21722/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.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/18228Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 3, núm. 2 (1996); 55-62 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 55-62 2357-6529 0120-0380Oostra, Arnold (1996) Conectivos en el topos de grafos dirigidos. Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 55-62 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 55-62 2357-6529 0120-0380 .Conectivos en el topos de grafos dirigidosArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTconnectivesdirected graphstopoigrothendieck topoiconectivosgrafos dirigidostopos de grafostoposORIGINAL18228-58950-1-PB.pdfapplication/pdf1079049https://repositorio.unal.edu.co/bitstream/unal/31643/1/18228-58950-1-PB.pdfef6767caf7a303e07989c0377c6d1737MD51THUMBNAIL18228-58950-1-PB.pdf.jpg18228-58950-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg2424https://repositorio.unal.edu.co/bitstream/unal/31643/2/18228-58950-1-PB.pdf.jpg17631795f9fde152e8035e7805b4c8beMD52unal/31643oai:repositorio.unal.edu.co:unal/316432023-12-02 23:06:40.486Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Conectivos en el topos de grafos dirigidos
title Conectivos en el topos de grafos dirigidos
spellingShingle Conectivos en el topos de grafos dirigidos
connectives
directed graphs
topoi
grothendieck topoi
conectivos
grafos dirigidos
topos de grafos
topos
title_short Conectivos en el topos de grafos dirigidos
title_full Conectivos en el topos de grafos dirigidos
title_fullStr Conectivos en el topos de grafos dirigidos
title_full_unstemmed Conectivos en el topos de grafos dirigidos
title_sort Conectivos en el topos de grafos dirigidos
dc.creator.fl_str_mv Oostra, Arnold
dc.contributor.author.spa.fl_str_mv Oostra, Arnold
dc.subject.proposal.spa.fl_str_mv connectives
directed graphs
topoi
grothendieck topoi
conectivos
grafos dirigidos
topos de grafos
topos
topic connectives
directed graphs
topoi
grothendieck topoi
conectivos
grafos dirigidos
topos de grafos
topos
description 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.
publishDate 1996
dc.date.issued.spa.fl_str_mv 1996
dc.date.accessioned.spa.fl_str_mv 2019-06-26T14:40:44Z
dc.date.available.spa.fl_str_mv 2019-06-26T14:40:44Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/31643
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/21722/
url https://repositorio.unal.edu.co/handle/unal/31643
http://bdigital.unal.edu.co/21722/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/bolma/article/view/18228
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
Boletín de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 55-62 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 55-62 2357-6529 0120-0380
dc.relation.references.spa.fl_str_mv Oostra, Arnold (1996) Conectivos en el topos de grafos dirigidos. Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 55-62 Boletín de Matemáticas; Vol. 3, núm. 2 (1996); 55-62 2357-6529 0120-0380 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Boletín de Matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/31643/1/18228-58950-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/31643/2/18228-58950-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv ef6767caf7a303e07989c0377c6d1737
17631795f9fde152e8035e7805b4c8be
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814090212117053440

Publicaciones similares