Propiedades lógicas del clasificador de subobjetos en un topos
| dc.contributor.advisor | Zalamea Traba, Fernando | spa |
| dc.contributor.author | Arengas Reines, Gustavo Eduardo | spa |
| dc.date.accessioned | 2019-07-03T19:12:35Z | spa |
| dc.date.available | 2019-07-03T19:12:35Z | spa |
| dc.date.issued | 2014 | spa |
| dc.description.abstract | La presente tesis está dividida en tres partes: en la primera se estudia el problema de los conectivos nuevos en categorías de Heyting, generalizando algunos resultados conocidos; en las siguientes se trabajen dos casos concretos: el bi-intuicionismo y la lógica modal intuicionista. Para ambos sistemas se estudian teoremas de completitud y validez. (Texto tomado de la fuente) | spa |
| dc.description.abstract | Abstract. This thesis consists of three parts: part one studies the new connectives problem in Heyting Categories, generalizing some known results; in the following two cases are worked: the biintuitionism and intuitionistic modal logic. For both systems theorems of completeness and soundness are discussed. | eng |
| dc.description.degreelevel | Maestría | spa |
| dc.format.mimetype | application/pdf | spa |
| dc.identifier.eprints | http://bdigital.unal.edu.co/39668/ | spa |
| dc.identifier.uri | https://repositorio.unal.edu.co/handle/unal/75159 | |
| dc.relation.ispartof | Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas | spa |
| dc.relation.ispartof | Departamento de Matemáticas | spa |
| dc.relation.references | Arengas Reines, Gustavo Eduardo (2014) Propiedades lógicas del clasificador de subobjetos en un topos. Maestría thesis, Universidad Nacional de Colombia. | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.subject.ddc | 51 Matemáticas / Mathematics | spa |
| dc.subject.proposal | Álgebra de Heyting | spa |
| dc.subject.proposal | Topos | spa |
| dc.subject.proposal | Conectivos nuevos | spa |
| dc.subject.proposal | Bi-Intucionismo | spa |
| dc.subject.proposal | Lógica modal | spa |
| dc.subject.proposal | Heyting algebra | spa |
| dc.subject.proposal | New connectives | spa |
| dc.subject.proposal | Bi-Intuitionism | spa |
| dc.subject.proposal | Modal logic | spa |
| dc.title | Propiedades lógicas del clasificador de subobjetos en un topos | spa |
| dc.type | Trabajo de grado - Maestría | spa |
| dc.type.coar | http://purl.org/coar/resource_type/c_bdcc | spa |
| dc.type.driver | info:eu-repo/semantics/masterThesis | spa |
| dc.type.version | info:eu-repo/semantics/draft | spa |
| oaire.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
Archivos
Bloque original
1 - 1 de 1