In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering ⟨ Q x 1 … Q x n ⟩ {\displaystyle \langle Qx_{1}\dots Qx_{n}\rangle } of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier.
In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering ⟨ Q x 1 … Q x n ⟩ {\displaystyle \langle Qx_{1}\dots Qx_{n}\rangle } of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier.
Source: Wikipedia "Branching quantifier" · CC BY-SA 4.0
Share this article: X · Bluesky