ISSN 1519-9681

ARTICLES
EDITORIAL BOARD
RULES AND INSTRUCTIONS
SITES POINTING TO CLE e-PRINTS

Articles
Vol. 14(1), 2014

..
.


Vol. 15(4), 2015
FUNÇÕES DE PRIMEIRA ORDEM E n-TIPOS
Rodrigo A. Freire

Departamento de Filosofia Universidade de Brasilia Brasil

Date Posted: September 18, 2015

vol. 15, n. 4, 2015

   
Resumo:

Este artigo é dedicado ao estudo dos n-tipos, para uma assinatura relacional finita, do ponto de vista da teoria das funções de primeira ordem. As noções principais da teoria das funções de primeira ordem serão apresentadas na primeira seção. Em seguida, os n-tipos serão definidos dentro dessa teoria, o que constitui uma perspectiva nova sobre o assunto. Os tópicos de eliminação de quantificadores dos espaços de n-tipos serão analisados dentro desse ponto de vista.



|   Home   | 2014  |  2013 2012  |  2011   |   2010   |   2009   |   2008   |   2007   |    2005   |   2004   |   2003   |   2002   |   2001   |

© 2001-2015 - Centre for Logic, Epistemology and the History of Science – CLE