LoTTec

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

• Henkin on Nominalism and Higher-Order Logic. Principia, v. 26, págs. 233-255, 2022
• On the comparisons of logics in terms of expressive power. Manuscrito, v. 46, págs. 1-43, 2023.