En semántica formal , el cierre existencial es una operación que introduce la cuantificación existencial . Fue propuesto por primera vez por Irene Heim en su disertación de 1982, como parte de su análisis de los indefinidos . En su formulación, el cierre existencial es una forma de unión no selectiva que une cualquier número de variables de cualquier tipo semántico. [1] [2] En semántica alternativa y marcos relacionados, el término se aplica a menudo a una operación estrechamente relacionada que cuantifica existencialmente sobre un conjunto de alternativas proposicionales . [3] [4]
^ Brasoveanu, Adrian; Farkas, Donka (2016). "Indefinidos". En Aloni, Maria; Dekker, Paul (eds.). El manual de Cambridge de semántica formal . Prensa de la Universidad de Cambridge. doi : 10.1017 / CBO9781139236157.009 .