semantics, a generalized quantifier (GQ) is an expression that denotes a set of sets. This is the standard semantics assigned to quantified noun phrases...
10 KB (1,504 words) - 04:48, 22 April 2024
Almost all Branching quantifier Conditional quantifier Counting quantification Eventually (mathematics) Generalized quantifier — a higher-order property...
31 KB (4,537 words) - 22:04, 14 September 2024
defended Russell's theory, and incorporated it into the theory of generalized quantifiers. On this view, 'the' is a quantificational determiner like 'some'...
12 KB (1,933 words) - 19:30, 16 March 2024
Qx_{1}\dots Qx_{n}\rangle } of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly...
9 KB (1,543 words) - 12:48, 6 February 2023
Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the...
7 KB (1,189 words) - 09:35, 8 February 2022
subunit, a class of proteins Generalized quadrangle, a type of incidence structure in mathematics Generalized quantifier, a type of expression in linguistic...
1 KB (196 words) - 03:44, 24 June 2023
term 'quantifier', more precisely existential quantifier. A 'quantifier' is an expression like "there exists at least one 'such-and-such'". Quantifier variance...
10 KB (1,242 words) - 09:37, 12 February 2024
Continuation-passing style De dicto and de re Generalized quantifier Logical form (linguistics) Quantifier (linguistics) Type shifter Heim, Irene; Kratzer...
17 KB (1,834 words) - 20:27, 22 April 2024
function is obtained by changing the universal quantifier into an existential quantifier and negating the quantified formula. That is, ¬ ∀ x P ( x ) is equivalent...
15 KB (2,492 words) - 11:25, 31 July 2024
the equivalence of the following two sentences, schematized in generalized quantifier notation to the right. Every aardvark bites. ...
4 KB (505 words) - 11:47, 20 June 2024
concept in measure theory, also referred to as an algebra of sets Generalized quantifier – Expression denoting a set of sets in formal semantics Indexed...
10 KB (1,528 words) - 23:36, 3 April 2024
uniqueness quantification can be generalized into counting quantification (or numerical quantification). This includes both quantification of the form...
6 KB (802 words) - 03:54, 19 July 2024
work by Kamp (1981) and Heim (File Change Semantics, 1982), and generalized quantifier theory, such as work by Barwise and Cooper (1981), was studied in...
18 KB (2,396 words) - 08:19, 2 August 2024
[clarification needed] Definable set Branching quantifier Generalized quantifier Plural quantification Reification (linguistics) Boolos, George (August...
7 KB (993 words) - 22:04, 9 February 2024
another level of abstraction.[citation needed] Compositionality Generalized quantifier John Pagus Lambda calculus Logical connective Supposition theory...
6 KB (694 words) - 08:51, 4 June 2024
A counting quantifier is a mathematical term for a quantifier of the form "there exists at least k elements that satisfy property X". In first-order logic...
2 KB (276 words) - 10:16, 5 July 2024
In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some...
3 KB (248 words) - 09:32, 8 February 2022
Dependence logic (section Generalized quantifiers)
Dependence logic is a logic of imperfect information, like branching quantifier logic or independence-friendly logic (IF logic): in other words, its game-theoretic...
28 KB (4,500 words) - 13:41, 28 February 2024
ongoing research in cross-linguistic semantics. Downward entailing Generalized quantifier Grammatical polarity Subtrigging Veridicality See Baker (1970)....
9 KB (1,041 words) - 20:51, 21 September 2024
⊆ X {\displaystyle A\subseteq X} are "large". Filter quantifiers are a type of logical quantifier which, informally, say whether or not a statement is...
11 KB (2,104 words) - 08:08, 28 April 2024
grammar Situation semantics Concepts Compositionality Counterfactuals Generalized quantifier Logic translation Mereology Modality (natural language) Opaque context...
24 KB (2,084 words) - 23:23, 8 July 2024
that plural logic as Boolos defined it is ontologically innocent. Generalized quantifier Homogeneity (linguistics) Variadic function Harman, Gilbert; Lepore...
16 KB (2,283 words) - 15:58, 11 July 2024
De Morgan's laws (redirect from De Morgan's laws for quantifiers)
This duality can be generalised to quantifiers, so for example the universal quantifier and existential quantifier are duals: ∀ x P ( x ) ≡ ¬ [ ∃ x ¬...
22 KB (3,627 words) - 20:16, 25 September 2024
Kaplan. generalized quantifier In logic and linguistics, a quantifier that can express more complex relationships than standard quantifiers like "all"...
270 KB (30,189 words) - 22:16, 28 September 2024
In statistics, a generalized additive model (GAM) is a generalized linear model in which the linear response variable depends linearly on unknown smooth...
38 KB (5,694 words) - 07:16, 9 July 2024
PSPACE proof where no more than one universal quantifier is placed between each variable's use and the quantifier binding that variable. This was critical...
25 KB (3,764 words) - 23:29, 14 May 2024
winning strategy in a generalized geography game is PSPACE-complete. Let GG = { ⟨G, b⟩ | P1 has a winning strategy for the generalized geography game played...
13 KB (1,908 words) - 09:17, 18 August 2023
there is an algorithm that, given a quantifier-free formula defining a semialgebraic set, produces a quantifier-free formula for its projection. In fact...
21 KB (2,982 words) - 05:08, 28 August 2024
sentence like Cube(b) and obtain a quantified sentence by replacing the name with a variable and attaching a quantifier: ∃x Cube(x) However, we cannot do...
32 KB (4,399 words) - 12:11, 1 July 2024
philosophy of science, logical structures in natural language (generalized quantifiers, categorial grammar, substructural proof theory), dynamic logic...
5 KB (390 words) - 05:59, 28 August 2024