If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Edgar Jose Andrade Lotero is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

First-order Logic Mathematics
Subsystem Mathematics
Natural Deduction Mathematics
Predicate Logic Mathematics
Completeness Mathematics
Aristotle Arts & Humanities
Syllogistic Arts & Humanities
Theorem Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2006 2019

Division of cognitive labor and collective behavior

Andrade Lotero, E. J., Goldstone, R., Velasco García, J. A. & Ortiz, J.

6/25/184/25/19

Project: Research project

A study of pre-modern logics using modern formal tools

Andrade Lotero, E. J. & Becerra, E. S.

1/1/061/1/15

Project: Research project

Research Output 2007 2015

  • 3 Citations
  • 1 h-Index
  • 3 Article

Modelos epidemiológicos en redes: una presentación introductoria

Cabrera, C. E. Á., Lotero, E. J. A. & Umaña, V. G., 2015, In : Boletin de Matemáticas. 22, 1, p. 21-37 17 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Establishing connections between Aristotle's natural deduction and first-order logic

Andrade, E. J. & Becerra, E. S., Nov 1 2008, In : History and Philosophy of Logic. p. 309-325 17 p.

Research output: Contribution to journalArticle

Natural Deduction
First-order Logic
Aristotle
Syllogistic
Axiomatization

Corcoran's Aristotelian syllogistic as a subsystem of first-order logic

Andrade Lotero, E. J. & Becerra, E., Jun 2007, In : Revista Colombiana de Matematicas. 41, p. 67-80 14 p.

Research output: Contribution to journalArticle

Open Access
First-order Logic
Subsystem
Natural Deduction
Predicate Logic
Completeness

Activities 2018 2020

Redacción del artículo sobre el estudio empírico de la división de la labor lingüística

Edgar Jose Andrade Lotero (Participant), Robert Goldstone (Participant), Javier Alejandro Velasco García (Participant)
Jan 15 2020May 31 2020

Activity: Other activity typesReporting

Presentación en la conferencia Philang2019

Edgar Jose Andrade Lotero (Speaker)
May 10 2019May 13 2019

Activity: Talk typesOral presentation

Implementación del modelo computacional correspondiente al segundo experimento y realización de las simulaciones

Edgar Jose Andrade Lotero (Participant), Robert Goldstone (Participant), Javier Alejandro Velasco García (Participant)
Jul 15 2019Dec 15 2019

Activity: Other activity typesModelling

Aplicación de segunda prueba experimental

Edgar Jose Andrade Lotero (Participant), Javier Alejandro Velasco García (Participant)
Mar 16 2019Apr 15 2019

Activity: Other activity typesLab Work

Análisis de los datos obtenidos de la aplicación de la segunda prueba

Edgar Jose Andrade Lotero (Participant), Robert Goldstone (Participant), Javier Alejandro Velasco García (Participant)
Apr 1 2019Dec 15 2019

Activity: Other activity typesOther