<--- Back to Details
First PageDocument Content
Continuations / Quantification / Semantics / Predicate logic / Control flow / Generalized quantifier / Coordination / Sentence / First-order logic / Linguistics / Software engineering / Syntax
Date: 2003-12-10 09:33:51
Continuations
Quantification
Semantics
Predicate logic
Control flow
Generalized quantifier
Coordination
Sentence
First-order logic
Linguistics
Software engineering
Syntax

Add to Reading List

Source URL: www.cs.bham.ac.uk

Download Document from Source Website

File Size: 135,14 KB

Share Document on Facebook

Similar Documents

Logic / Quantification / Mathematical logic / Semantics / Abstraction / Predicate logic / Model theory / Finite model theory / Quantifier / First-order logic / FO / Generalized quantifier

Integrating Categorematic Unreducible Polyadic Quantifiers in LRS Frank Richter∗ Introduction This paper has two goals: On the technical side, it presents a general integration of polyadic quantification in Lexical Res

DocID: 1ratm - View Document

Complexity classes / IP / FO / PSPACE-complete / PSPACE / Interpretation / NP / Quantifier / Well-formed formula / Generalized geography / Linear temporal logic

CONSTRAINT SATISFACTION WITH COUNTING QUANTIFIERS BARNABY MARTIN ∗† , FLORENT MADELAINE

DocID: 1pbNU - View Document

Semantics / Philosophy of language / Quantification / Predicate logic / Pragmatics / Presupposition / Definite description / Quantifier / Proposition / Generalized quantifier / Accommodation / Boolean algebra

Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 27–51 http://www.cssp.cnrs.fr/eiss8 Move and accommodate:

DocID: 1oSON - View Document

Logic / Philosophy / Abstraction / Semantics / Philosophy of language / Philosophical logic / Meaning / Quantification / Model theory / Truth condition / First-order logic / Generalized quantifier

Interface Transparency and the Psychosemantics of most Jeffrey Lidz, University of Maryland Justin Halberda, Johns Hopkins University Paul Pietroski, University of Maryland Tim Hunter, University of Maryland Contact Info

DocID: 1maCg - View Document

Logic / Quantification / Semantics / Mathematics / Abstraction / Quantifier / Generalized quantifier / Approximate number system / Proposition / Mathematical logic / Cardinality / Cardinal number

Quantification in Child Language Jeffrey Lidz University of Maryland "Who did you pass on the road?" the King went on, holding out his hand to the Messenger for some more hay. "Nobody" said the Messenger.

DocID: 1kScL - View Document