Projects per year
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
- 2 Finished
Division of cognitive labor and collective behavior
Andrade Lotero, E. J., Goldstone, R., Velasco García, J. A. & Ortiz, J.
6/25/18 → 4/25/19
Project: Research project
A study of pre-modern logics using modern formal tools
Andrade Lotero, E. J. & Becerra, E. S.
1/1/06 → 1/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 journal › Article
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 journal › Article
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 journal › Article
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 2020 → May 31 2020
Activity: Other activity types › Reporting
Aplicación de segunda prueba experimental
Edgar Jose Andrade Lotero (Participant), Javier Alejandro Velasco García (Participant)Mar 16 2019 → Apr 15 2019
Activity: Other activity types › Lab 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 2019 → Dec 15 2019
Activity: Other activity types › Other
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 2019 → Dec 15 2019
Activity: Other activity types › Modelling
Presentación en la conferencia Philang2019
Edgar Jose Andrade Lotero (Speaker)May 10 2019 → May 13 2019
Activity: Talk types › Oral presentation