Add to ORKGWe give a type logical categorial grammar for the syntax and semantics of Montague's seminal fragment, which includes ambiguities of quantification and intensionality and their interactions, and we present the analyses assigned by a parser/theorem prover CatLog to the examples in the first half of Chapter 7 of the classic text Introduction to Montague Semantics of Dowty, Wall and Peters (1981).Peer Reviewe
PhDComputer scienceUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepbl...
this paper is based was presented on several occasions, the first of which was the Stuttgart confere...
CatLog3 is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical ...
This paper is a presentation of the origins of Montague Grammar in relation to Generative Grammar an...
William E. McMahon: Did Montague Invent «Montague Grammar»? Is Montague Grammar a variant of categ...
In logical categorial grammar [23,11] syntactic structures are categorial proofs and semantic struct...
Montague semantics is a theory of natural language semantics and of its relation with syntax. It was...
This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Gramma...
The linguistic notion of meaning has suffered great modifications in the last thirty years. The work...
It is nearly half a century since Montague made his contributions to the field of logical semantics....
The thesis presents research in the field of model theoretic semantics on the problem of ambiguity, ...
The type theoretic framework for natural language semantics laid out by Montague (1973) forms the co...
This is a chapter written on Montague Grammar to be included in the forthcoming second edition of Th...
This work is the outcome of a research in the use of Categorial Grammars (CG) for the description an...
Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Philosophy.Microfiche copy avai...
PhDComputer scienceUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepbl...
this paper is based was presented on several occasions, the first of which was the Stuttgart confere...
CatLog3 is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical ...
This paper is a presentation of the origins of Montague Grammar in relation to Generative Grammar an...
William E. McMahon: Did Montague Invent «Montague Grammar»? Is Montague Grammar a variant of categ...
In logical categorial grammar [23,11] syntactic structures are categorial proofs and semantic struct...
Montague semantics is a theory of natural language semantics and of its relation with syntax. It was...
This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Gramma...
The linguistic notion of meaning has suffered great modifications in the last thirty years. The work...
It is nearly half a century since Montague made his contributions to the field of logical semantics....
The thesis presents research in the field of model theoretic semantics on the problem of ambiguity, ...
The type theoretic framework for natural language semantics laid out by Montague (1973) forms the co...
This is a chapter written on Montague Grammar to be included in the forthcoming second edition of Th...
This work is the outcome of a research in the use of Categorial Grammars (CG) for the description an...
Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Philosophy.Microfiche copy avai...
PhDComputer scienceUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepbl...
this paper is based was presented on several occasions, the first of which was the Stuttgart confere...
CatLog3 is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical ...