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...

Popoln opis

Bibliografske podrobnosti

Glavni avtor:	José Tomás Alvarado Marambio
Format:	Artigo
Jezik:	Inglês
Izdano:	Universidad Nacional de Colombia 2013-05-01
Serija:	Ideas y Valores
Teme:	Fórmula de Barcan Conversa de la Fórmula de Barcan universales trascendentes
Online dostop:	https://revistas.unal.edu.co/index.php/idval/article/view/26870
Oznake:	Označite Brez oznak, prvi označite!