Aproximación a la lógica lineal intuicionista proposicional como una institución
En este trabajo se construye una institución para la lógica lineal instuicionista proposicional en la que se aceptan como fórmulas secuentes completos de la misma lógica.
- Autores:
-
Jaramillo Londoño, Juan Camilo
- Tipo de recurso:
- Tesis
- Fecha de publicación:
- 2020
- Institución:
- Pontificia Universidad Javeriana Cali
- Repositorio:
- Vitela
- Idioma:
- spa
- OAI Identifier:
- oai:vitela.javerianacali.edu.co:11522/1228
- Acceso en línea:
- https://vitela.javerianacali.edu.co/handle/11522/1228
- Palabra clave:
- Lógica
Institución
Lógica lineal intuicionista
- Rights
- openAccess
- License
- https://creativecommons.org/licenses/by-nc-sa/4.0/
| id |
Vitela2_485c27db92420d9d45aff57d2828e072 |
|---|---|
| oai_identifier_str |
oai:vitela.javerianacali.edu.co:11522/1228 |
| network_acronym_str |
Vitela2 |
| network_name_str |
Vitela |
| repository_id_str |
|
| spelling |
Jaramillo Londoño, Juan Camilo2023-01-20T19:24:26Z2024-02-09T05:33:52Z2023-01-20T19:24:26Z2024-02-09T05:33:52Z2020https://vitela.javerianacali.edu.co/handle/11522/1228En este trabajo se construye una institución para la lógica lineal instuicionista proposicional en la que se aceptan como fórmulas secuentes completos de la misma lógica.application/pdfapplication/pdfspaPontificia Universidad Javeriana de CaliCaliinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/4.0/https://creativecommons.org/licenses/by-nc-sa/4.0/http://purl.org/coar/access_right/c_abf2Pontificia Universidad Javeriana de CaliVitelaAproximación a la lógica lineal intuicionista proposicional como una instituciónLógicaInstituciónLógica lineal intuicionistahttp://purl.org/coar/resource_type/c_46ecinfo:eu-repo/semantics/reportTesis/Trabajo de grado - Monografía – Especializacióninfo:eu-repo/semantics/acceptedVersionhttps://purl.org/redcol/resource_type/TPhttp://purl.org/coar/version/c_ab4af688f83e57aa11522/1228oai:vitela.javerianacali.edu.co:11522/12282024-06-25 05:13:00.536https://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccessmetadata.onlyhttps://vitela.javerianacali.edu.coRepositorio Vitelavitela.mail@javerianacali.edu.co |
| dc.title.spa.fl_str_mv |
Aproximación a la lógica lineal intuicionista proposicional como una institución |
| title |
Aproximación a la lógica lineal intuicionista proposicional como una institución |
| spellingShingle |
Aproximación a la lógica lineal intuicionista proposicional como una institución Lógica Institución Lógica lineal intuicionista |
| title_short |
Aproximación a la lógica lineal intuicionista proposicional como una institución |
| title_full |
Aproximación a la lógica lineal intuicionista proposicional como una institución |
| title_fullStr |
Aproximación a la lógica lineal intuicionista proposicional como una institución |
| title_full_unstemmed |
Aproximación a la lógica lineal intuicionista proposicional como una institución |
| title_sort |
Aproximación a la lógica lineal intuicionista proposicional como una institución |
| dc.creator.fl_str_mv |
Jaramillo Londoño, Juan Camilo |
| dc.contributor.author.spa.fl_str_mv |
Jaramillo Londoño, Juan Camilo |
| dc.subject.proposal.spa.fl_str_mv |
Lógica Institución Lógica lineal intuicionista |
| topic |
Lógica Institución Lógica lineal intuicionista |
| description |
En este trabajo se construye una institución para la lógica lineal instuicionista proposicional en la que se aceptan como fórmulas secuentes completos de la misma lógica. |
| publishDate |
2020 |
| dc.date.issued.spa.fl_str_mv |
2020 |
| dc.date.accessioned.spa.fl_str_mv |
2023-01-20T19:24:26Z |
| dc.date.available.spa.fl_str_mv |
2023-01-20T19:24:26Z |
| dc.date.accessioned.none.fl_str_mv |
2024-02-09T05:33:52Z |
| dc.date.available.none.fl_str_mv |
2024-02-09T05:33:52Z |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_46ec |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/report |
| dc.type.local.spa.fl_str_mv |
Tesis/Trabajo de grado - Monografía – Especialización |
| dc.type.hasversion.spa.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| dc.type.redcol.spa.fl_str_mv |
https://purl.org/redcol/resource_type/TP |
| format |
http://purl.org/coar/resource_type/c_46ec |
| status_str |
acceptedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://vitela.javerianacali.edu.co/handle/11522/1228 |
| url |
https://vitela.javerianacali.edu.co/handle/11522/1228 |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.rights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.uri.spa.fl_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.creativecommons.spa.fl_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| dc.format.spa.fl_str_mv |
application/pdf |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Pontificia Universidad Javeriana de Cali |
| dc.publisher.place.spa.fl_str_mv |
Cali |
| dc.source.spa.fl_str_mv |
Pontificia Universidad Javeriana de Cali Vitela |
| institution |
Pontificia Universidad Javeriana Cali |
| repository.name.fl_str_mv |
Repositorio Vitela |
| repository.mail.fl_str_mv |
vitela.mail@javerianacali.edu.co |
| _version_ |
1812095052568068096 |