A Propositional Constructive Logic of Evidence
Universidad de Antioquia
- Autores:
-
Agudelo Agudelo, Juan Carlos
- Tipo de recurso:
- http://purl.org/coar/resource_type/c_5794
- Fecha de publicación:
- 2024
- Institución:
- Universidad de Antioquia
- Repositorio:
- Repositorio UdeA
- Idioma:
- eng
- OAI Identifier:
- oai:bibliotecadigital.udea.edu.co:10495/40617
- Acceso en línea:
- https://hdl.handle.net/10495/40617
- Palabra clave:
- Lógica
Logic
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/2.5/co/
| id |
UDEA2_73e26b1bd2280e1429b1409c6548127d |
|---|---|
| oai_identifier_str |
oai:bibliotecadigital.udea.edu.co:10495/40617 |
| network_acronym_str |
UDEA2 |
| network_name_str |
Repositorio UdeA |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
A Propositional Constructive Logic of Evidence |
| title |
A Propositional Constructive Logic of Evidence |
| spellingShingle |
A Propositional Constructive Logic of Evidence Lógica Logic |
| title_short |
A Propositional Constructive Logic of Evidence |
| title_full |
A Propositional Constructive Logic of Evidence |
| title_fullStr |
A Propositional Constructive Logic of Evidence |
| title_full_unstemmed |
A Propositional Constructive Logic of Evidence |
| title_sort |
A Propositional Constructive Logic of Evidence |
| dc.creator.fl_str_mv |
Agudelo Agudelo, Juan Carlos |
| dc.contributor.author.none.fl_str_mv |
Agudelo Agudelo, Juan Carlos |
| dc.contributor.corporatename.spa.fl_str_mv |
Latin American Symposium on Mathematical Logic (20 : del 1 al 5 de julio de 2024 : Facultad de Ingeniería de la Universidad de la República, Montevideo, Uruguay) |
| dc.contributor.researchgroup.spa.fl_str_mv |
Álgebra U de A |
| dc.subject.lemb.none.fl_str_mv |
Lógica Logic |
| topic |
Lógica Logic |
| description |
Universidad de Antioquia |
| publishDate |
2024 |
| dc.date.accessioned.none.fl_str_mv |
2024-07-18T13:12:10Z |
| dc.date.available.none.fl_str_mv |
2024-07-18T13:12:10Z |
| dc.date.issued.none.fl_str_mv |
2024-07-02 |
| dc.type.spa.fl_str_mv |
Documento de conferencia |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_c94f |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_5794 |
| dc.type.redcol.spa.fl_str_mv |
https://purl.org/redcol/resource_type/EC |
| dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/conferenceObject |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| format |
http://purl.org/coar/resource_type/c_5794 |
| status_str |
publishedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://hdl.handle.net/10495/40617 |
| url |
https://hdl.handle.net/10495/40617 |
| dc.language.iso.spa.fl_str_mv |
eng |
| language |
eng |
| dc.relation.conferencedate.spa.fl_str_mv |
2024-07-01/2024-01-05 |
| dc.relation.conferenceplace.spa.fl_str_mv |
Facultad de Ingeniería de la Universidad de la República, Montevideo, Uruguay |
| dc.relation.ispartofjournal.spa.fl_str_mv |
XX SLALM - 20th Latin American Symposium on Mathematical Logic |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/co/ |
| dc.rights.uri.spa.fl_str_mv |
https://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/co/ https://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| institution |
Universidad de Antioquia |
| bitstream.url.fl_str_mv |
https://bibliotecadigital.udea.edu.co/bitstreams/45d1d4f1-1e8a-45df-b434-4f1f9603d5ac/download https://bibliotecadigital.udea.edu.co/bitstreams/6239a5f5-f586-4419-99f8-5c7d3f5b097b/download https://bibliotecadigital.udea.edu.co/bitstreams/af6ee100-ec6a-424a-98eb-53fa76545d68/download https://bibliotecadigital.udea.edu.co/bitstreams/8e3c7119-bd46-4cd9-8ad1-df772f4b5f27/download https://bibliotecadigital.udea.edu.co/bitstreams/76ae0bc0-6dad-4b66-83b0-7345909df86c/download |
| bitstream.checksum.fl_str_mv |
e2060682c9c70d4d30c83c51448f4eed 8a4605be74aa9ea9d79846c1fba20a33 6edf654f189ab26b2d1cb79b531b9ca7 b70a8445735d04d8faab10351b97bffe df8db35e0f58522ec993a8d8b5285aa5 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional de la Universidad de Antioquia |
| repository.mail.fl_str_mv |
aplicacionbibliotecadigitalbiblioteca@udea.edu.co |
| _version_ |
1851052517437210624 |
| spelling |
Agudelo Agudelo, Juan CarlosLatin American Symposium on Mathematical Logic (20 : del 1 al 5 de julio de 2024 : Facultad de Ingeniería de la Universidad de la República, Montevideo, Uruguay)Álgebra U de A2024-07-18T13:12:10Z2024-07-18T13:12:10Z2024-07-02https://hdl.handle.net/10495/40617Universidad de AntioquiaCOL0086896application/pdfenghttp://creativecommons.org/licenses/by-nc-sa/2.5/co/https://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2A Propositional Constructive Logic of EvidenceDocumento de conferenciahttp://purl.org/coar/resource_type/c_5794http://purl.org/coar/resource_type/c_c94fhttps://purl.org/redcol/resource_type/EChttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionLógicaLogic2024-07-01/2024-01-05Facultad de Ingeniería de la Universidad de la República, Montevideo, UruguayXX SLALM - 20th Latin American Symposium on Mathematical LogicA Constructive Logic of Evidence2023-60030RoR:03bp5hc83PublicationCC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-81051https://bibliotecadigital.udea.edu.co/bitstreams/45d1d4f1-1e8a-45df-b434-4f1f9603d5ac/downloade2060682c9c70d4d30c83c51448f4eedMD52falseAnonymousREADLICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://bibliotecadigital.udea.edu.co/bitstreams/6239a5f5-f586-4419-99f8-5c7d3f5b097b/download8a4605be74aa9ea9d79846c1fba20a33MD53falseAnonymousREADORIGINALAgudeloJuan_2024_Propositional_Constructive_Logic.pdfAgudeloJuan_2024_Propositional_Constructive_Logic.pdfDocumento de conferenciaapplication/pdf396365https://bibliotecadigital.udea.edu.co/bitstreams/af6ee100-ec6a-424a-98eb-53fa76545d68/download6edf654f189ab26b2d1cb79b531b9ca7MD51trueAnonymousREADTEXTAgudeloJuan_2024_Propositional_Constructive_Logic.pdf.txtAgudeloJuan_2024_Propositional_Constructive_Logic.pdf.txtExtracted texttext/plain19878https://bibliotecadigital.udea.edu.co/bitstreams/8e3c7119-bd46-4cd9-8ad1-df772f4b5f27/downloadb70a8445735d04d8faab10351b97bffeMD54falseAnonymousREADTHUMBNAILAgudeloJuan_2024_Propositional_Constructive_Logic.pdf.jpgAgudeloJuan_2024_Propositional_Constructive_Logic.pdf.jpgGenerated Thumbnailimage/jpeg5804https://bibliotecadigital.udea.edu.co/bitstreams/76ae0bc0-6dad-4b66-83b0-7345909df86c/downloaddf8db35e0f58522ec993a8d8b5285aa5MD55falseAnonymousREAD10495/40617oai:bibliotecadigital.udea.edu.co:10495/406172025-03-26 23:39:51.118http://creativecommons.org/licenses/by-nc-sa/2.5/co/open.accesshttps://bibliotecadigital.udea.edu.coRepositorio Institucional de la Universidad de Antioquiaaplicacionbibliotecadigitalbiblioteca@udea.edu.coTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo= |