Cuantificador de ramificación
En lógica, un cuantificador de ramificación , [1] también llamado cuantificador de Henkin , cuantificador finito parcialmente ordenado o incluso cuantificador no lineal , es un ordenamiento parcial [2]
de cuantificadores para Q ∈ {∀, ∃}. Es un caso especial de cuantificador generalizado . En la lógica clásica , los prefijos de cuantificadores están ordenados linealmente de modo que el valor de una variable y m limitada por un cuantificador Q m depende del valor de las variables
precedente a Q m . En una lógica con cuantificación (finita) parcialmente ordenada, este no es el caso en general.
La cuantificación de ramificaciones apareció por primera vez en un artículo de conferencia de 1959 de Leon Henkin . [3] Los sistemas de cuantificación parcialmente ordenada tienen una fuerza intermedia entre la lógica de primer orden y la lógica de segundo orden . Están siendo utilizados como base para la lógica de independencia de Hintikka y Gabriel Sandu .
El cuantificador de Henkin más simple es
(De hecho, cada fórmula con un prefijo de Henkin, no solo la más simple) es equivalente a su Skolemización de segundo orden , es decir