Questions tagged [lambda-calculus]

The tag has no usage guidance.

12 questions
Filter by
Sorted by
Tagged with
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
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
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
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
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....
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
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
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
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 ...
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
341 views

How to represent a dative verb in first order logic?

I understand that the representation of an intransitive verb, V in lambda calculus would be lambda x. V(x), where x is the subject. How do I represent an intransitive verb followed by a ...
• 215