Proyectos por año
Huella dactilar La huella dactilar se basa en la exploración del texto de los documentos científicos de las personas para crear un índice de términos ponderados, que define los asuntos clave de cada investigador individual.
First-order Logic
Mathematics
Subsystem
Mathematics
Natural Deduction
Mathematics
Predicate Logic
Mathematics
Completeness
Mathematics
Aristotle
Arts & Humanities
Syllogistic
Arts & Humanities
Theorem
Mathematics
Proyectos 2006 2015
- 1 Finalizado
Un estudio de las lógicas premodernas por medio de las herramientas formales modernas
Andrade Lotero, E. J. & Becerra, E. S.
1/1/06 → 1/1/15
Proyecto
Resultado de la investigación 2007 2015
- 3 Citas
- 1 Índice H
- 3 Artículo
Modelos epidemiológicos en redes: una presentación introductoria
Cabrera, C. E. Á., Lotero, E. J. A. & Umaña, V. G., 2015, En : Boletin de Matemáticas. 22, 1, p. 21-37 17 p.Resultado de la investigación: Contribución a Revista › Artículo
Establishing connections between Aristotle's natural deduction and first-order logic
Andrade, E. J. & Becerra, E. S., nov 1 2008, En : History and Philosophy of Logic. p. 309-325 17 p.Resultado de la investigación: Contribución a Revista › Artículo
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, En : Revista Colombiana de Matematicas. 41, p. 67-80 14 p.Resultado de la investigación: Contribución a Revista › Artículo
Acceso abierto
First-order Logic
Subsystem
Natural Deduction
Predicate Logic
Completeness
Actividades 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)ene 15 2020 → may 31 2020
Actividad: Creación de Informes
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 → dic 15 2019
Actividad: Modelado
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)abr 1 2019 → dic 15 2019
Actividad
Aplicación de segunda prueba experimental
Edgar Jose Andrade Lotero (Participant), Javier Alejandro Velasco García (Participant)mar 16 2019 → abr 15 2019
Actividad: Trabajo de Laboratorio
Presentación en la conferencia Philang2019
Edgar Jose Andrade Lotero (Speaker)may 10 2019 → may 13 2019
Actividad: Presentación oral