A carregar...

Fórmulas Barcan de segundo orden y universales trascendentes

Se ha destacado que la Fórmula de Barcan –FB– y la Conversa de la Fórmula de Barcan –CFB– para lógica modal cuantificacional de orden superior parecen válidas. Si se interpreta que los cuantificadores tienen como rango propiedades, la validez de FB y CFB parece implicar la existencia de universales...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: José Tomás Alvarado Marambio
Formato: Artigo
Idioma:Inglês
Publicado em: Universidad Nacional de Colombia 2013-01-01
Colecção:Ideas y Valores
Assuntos:
Acesso em linha:http://www.redalyc.org/articulo.oa?id=80929837006
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!