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

Resultado de la investigación 2007 2015

  • 2 Citations
  • 1 h-Index
  • 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 la publicaciónArtículo

2 Citas

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 la publicaciónArtí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 la publicaciónArtículo

Acceso abierto
First-order Logic
Subsystem
Natural Deduction
Predicate Logic
Completeness