Los cambios que haya realizado en Pure se mostrarán aquí próximamente.

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

Red Colaboración externa reciente a nivel de país. Sumergirse en la información haciendo clic en los puntos.

Proyectos 2006 2019

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, 22, 1, p. 21-37 17 p.

Resultado de la investigación: Contribución a RevistaArtículo

3 Citas (Scopus)

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 RevistaArtí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 RevistaArtí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 2020may 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 2019dic 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 2019dic 15 2019

Actividad

Aplicación de segunda prueba experimental

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

Actividad: Trabajo de Laboratorio

Presentación en la conferencia Philang2019

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

Actividad: Presentación oral