<--- Back to Details
First PageDocument Content
Syntax / Donkey sentence / Definite description / Function / Quantification / Free variables and bound variables / Entailment / Interpretation / Presupposition / Logic / Linguistics / Semantics
Date: 2010-02-25 11:24:33
Syntax
Donkey sentence
Definite description
Function
Quantification
Free variables and bound variables
Entailment
Interpretation
Presupposition
Logic
Linguistics
Semantics

Add to Reading List

Source URL: www.ilg.uni-stuttgart.de

Download Document from Source Website

File Size: 101,22 KB

Share Document on Facebook

Similar Documents

Logic / Mathematical logic / Mathematics / Predicate logic / Type theory / Logic in computer science / Combinatory categorial grammar / Combinatory logic / Quantifier / Lambda calculus / Parsing / Free variables and bound variables

Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artziāˆ— Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University

DocID: 1r3ES - View Document

Logic / Mathematical logic / Mathematics / Predicate logic / Semantics / Quantification / Model theory / Mathematical notation / First-order logic / FO / Free variables and bound variables / Quantifier

CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations

DocID: 1qUOR - View Document

Linguistics / Pronouns / Parts of speech / Semantics / Sociolinguistics / Syntax / Free variables and bound variables / Donkey sentence / Demonstrative / Gender-specific and gender-neutral third-person pronouns / Interlanguage / Deixis

L1 Transfer in Bound Variable Use of L2 Japanese Demonstrative Pronouns

DocID: 1qQ6c - View Document

Software engineering / Computer programming / Software development / Programming idioms / Computability theory / Functional programming / Theoretical computer science / Logic programming / Unfolding / Recursion / Free variables and bound variables / Symbolic computation

In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran

DocID: 1qHjQ - View Document

Software / Computing / Application software / Mathematical markup languages / Formula editors / Cross-platform software / MathML / Markup languages / OpenMath / Design Science / Free variables and bound variables / Wolfram Mathematica

An On-line MathML Editing Tool for Web Applications Su Wei Lanzhou University, Lanzhou, Gansu, 730000, China

DocID: 1qqU3 - View Document