# Questions tagged [lambda-calculus]

The tag has no usage guidance.

12 questions
Filter by
Sorted by
Tagged with
3k views

### What is the relationship between lambda calculus and logical form?

I was introduced to lambda calculus as a notation to express the semantics of a phrase, based on the semantics of its parts. I am under the impression lambda calculus does more than that, but I don’t ...
• 215
137 views

### Should λ-terms all be easily translated back into natural language syntax?

We have encountered this question when we try to read Heim and Kratzer's book. This following picture is taken from Heim & Kratzer (1998: 40). Our answers are simply based on the subscripts: (a) ...
• 653
315 views

### Is lambda calculus only applicable if syntax trees are binary branching?

Lambda expressions are evaluated "hierarchically"--we resolve functions in the daughter node before we resolve functions in the mother node. In a given constituency, a sister node may define a ...
• 1,524
145 views

### What is the best/state-of-the-art logic for representing English language?

I know people have used lambda terms which "compile into" first-order logic, but based on what I have seen that is not particularly great for representing complex sentences with causal or temporal ...
• 345
586 views

### Representing prepositions in lambda calculus/logic notation

How would I represent 'for' in "Are you here for a conference?" conference could be represented as lam x.conference(x). a conference could be represented as lam Q x.(conference(x) & Q(x)) I ...
• 215
304 views

### Is there a way to express a negation modifier in lambda calculus?

I want to model the Middle High German sentence "Ih néhabo niêht in geméitun sô uuîlo geuuêinot" that can be glossed as "I Neg-have not-at-all in vain so much cried" meaning "I have not at all cried ...
• 29
1 vote
248 views

### logic symbol for 'unlike, differing from'

I'd like to express 'unlike, differing from', in an 'academic/professional' fashion using logic symbol(s) or mathematical operators. The descriptions of the corresponding Unicode block seem to show ...
• 275
1 vote
144 views

### Parsing with CCGs - lambda part

I am following this video tutorial, starting 6th minute I would like to parse the following sentence square blue or round yellow pillow. For now I am interested in only how square and blue are ...
• 261
140 views

### The determiner "a" in lambda form

In the sentence: A man loves Mary The lambda notation of the determiner 'a' is: λY.λX.∃z.Y(z)∧X(z) What about the general determiner 'a'? Is the lambda notation the same? or it should be: λX.∃z....
89 views

### Gapping in Lambda Expressions?

I am having some trouble understanding how lambda-calculus works for gapping. How do you create a representation for "John bought and Bill cooked the turkey"? EDIT-- I realize this was RNR. For a ...
346 views

### Converting types into lambda notation and set notation

I am looking into different phrases and their semantic derivation. For example, the verb sneeze: Type (e,t) λx[SNEEZE]x In a sentence like: Michael and Jamie sneeze, I would like to know how to get ...
• 105