LoTTec

Lógica – Teorias e Técnicas

Diego Fernandes

Currículo Lattes

Pesquisa

Tenho atualmente (10/23) dois projetos de pesquisa em andamento:

  • Comparações de expressividade entre lógicas e teoremas tipo-Lindström correlatos.
  • As origens da concepção modelo-teórica da lógica no século XX.

Últimas publicações