Quantifier (logic)

Known as: Solution quantifier, Quantificational fallacy, Quantifier 
For example, in arithmetic, it allows the expression of the statement that every natural number has a successor. A language element which generates a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1966-2017
0102019662017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Quantification is the name given to a novel machine learning task which deals with correctly estimating the number of elements of… (More)
  • figure 1
  • table I
  • figure 2
Is this relevant?
2009
2009
  • MIKO LAJ
  • 2009
We study tree languages that can be defined in ∆2. These are tree languages definable by a first-order formula whose quantifier… (More)
Is this relevant?
2009
2009
Superlative quantifiers (“at least 3”, “at most 3”) and comparative quantifiers (“more than 2”, “fewer than 4”) are traditionally… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2005
2005
We present data from a preferential looking method to investigate when infants have mapped singular and plural markers in English… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2004
2004
QEPCAD B<sup>2</sup> is a system for computing with semi-algebraic sets. a <i>semi-algebraic set</i> is a subset of ℝ<sup><i>n</i… (More)
Is this relevant?
2003
2003
Newstead’s critique is an exercise in carpet-bombing: he doesn’t raise one big objection but a host of smaller ones. I hope I… (More)
Is this relevant?
2003
2003
We develop a new logic for deriving consequences of multialgebraic theories (specifications). Multilagebras are used as models… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The Cylindrical Algebraic Decomposition method (CAD) decomposes R r into regions over which given polynomials have constant signs… (More)
  • figure 9
  • table 1
Is this relevant?
Highly Cited
1990
Highly Cited
1990
ion issues are related to expressing what is often called design. The manipulation of annotations is related to reasoning how to… (More)
  • figure 2.1
  • figure 3.1
  • figure 4.1
  • figure 4.2
  • figure 4.3
Is this relevant?
Highly Cited
1975
Highly Cited
1975
in which the various nodes and arcs are partitioned into "net spaces." These net spaces delimit the scopes of quantified… (More)
Is this relevant?