Fórmulas Barcan de segundo orden y universales trascendentes

Se ha destacado recientemente 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) de orden superior parece im...

Celý popis

Podrobná bibliografie

Hlavní autor:	José Tomás Alvarado Marambio
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Universidad Nacional de Colombia 2013-05-01
Edice:	Ideas y Valores
Témata:	Fórmula de Barcan Conversa de la Fórmula de Barcan universales trascendentes
On-line přístup:	https://revistas.unal.edu.co/index.php/idval/article/view/26870
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!