401 Hits in 2.1 sec

Foundations and applications of montague grammar; part 1: philosophy, framework, computer science

Jan Goossenaerts
1988 Journal of Computational and Applied Mathematics  
Foundations and applications of Montague grammar; Part 1: Philosophy, framework, computer science T. M. V.  ...  The last chapter applies the Montague Grammar to programming languages.  ... 
doi:10.1016/0377-0427(88)90308-1 fatcat:glcupwiy5ncopkarhnl2qflj7a

Page 33 of Computational Linguistics Vol. 14, Issue 4 [page]

1988 Computational Linguistics  
Friedman, J. and Warren, D.S. 1978 A Parsing Method for Montague Grammars. Linguistics and Philosophy, 347-372.  ...  Hamblin, C.L. 1973 Questions in Montague English. Foundations of Language 10: 41-53.  ... 

Page 4902 of Mathematical Reviews Vol. , Issue 2003g [page]

2003 Mathematical Reviews  
In spite of these virtues, there is a residue of rational worry among some linguists about how genuinely explanatory Montague Grammar is.  ...  The work under review shows Montague Grammar to be up to this challenge, providing a unified account of semantic phenom- ena involving coordination, plurality, and scope.  ... 

Page 631 of Computational Linguistics Vol. 23, Issue 4 [page]

1997 Computational Linguistics  
Type logics, the Curry-Howard correspondence, and resource sensitivity form the foundation for the book.  ...  Past the preparatory material, Chapters 3, 4, and 5 develop one of the main achievements of the book, a recasting of Montague grammar into a purely lexical- ized form that dispenses with all the awkward  ... 

Page 3004 of Mathematical Reviews Vol. , Issue 84h [page]

1984 Mathematical Reviews  
Logic Foundations Math., 104, North-Holland, Amsterdam-New York, 1982. The author discusses the basic properties and assumptions of Montague’s algebraic approach to grammar.  ...  Montague grammar.  ... 

Page 3207 of Mathematical Reviews Vol. 58, Issue 5 [page]

1979 Mathematical Reviews  
In part II we illustrate how a Montague-type grammar can accommodate branching quantifiers. In doing this we use a simplified version of Montague grammar for the sake of facilitating exposition.  ...  For a review of this item see Zbl 336 #02039. 58 #21426 Gabbay, Dov M.; Moravosik, J. M. E. 58 #21427 Branching quantifiers, English, and Montague-grammar. Theoret.  ... 

Page 4576 of Mathematical Reviews Vol. , Issue 82k [page]

1982 Mathematical Reviews  
of English defined by the grammar of Montague [op. cit.].  ...  Thus, Montague [op. cit.] also provided a precise semantical treatment of the sentences of the fragment of English defined by the grammar mentioned above.  ... 

Page 4674 of Mathematical Reviews Vol. 58, Issue 6 [page]

1979 Mathematical Reviews  
Graph grammars serve for the definition of “type” and “schema”: An extension of graph Computer Science 4614 grammars which works in a way similar to that of van Wijngaar. den grammars is used to define  ...  The starting point for the algebraic approach is to realize that the data representations together with the operations on them constitute an algebra.  ... 

Attributed translation and the semantics of natural language [chapter]

J. V. Pitt, R. J. Cunningham
1990 Lecture Notes in Computer Science  
We demonstrate that his intuition is computationally justi able, based on the algebraic equivalence of attribute grammars and Montague's theory of Universal Grammar.  ...  We nd that attribute grammars can be used to encode an algebraic speci cation of a natural language, attributed translation used to compute representations of the'meaning' of a sentence at di erent levels  ...  This is the same mathematical foundation used by Montague in his work on Universal Grammar Montague, 1974a ] and the semantics of natural language as exempli ed by the fragment of`English' grammar known  ... 
doi:10.1007/3-540-53101-7_20 fatcat:i3cgzmv3ivh4nnc2ghrbd7s7ky

Functorial Question Answering [article]

Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi
2019 arXiv   pre-print
Acknowledgments The authors would like to thank Bob Coecke, Dan Marsden, Antonin Delpeuch, Vincent Wang, Jacob Leygonie, Dusko Pavlovic and Samson Abramsky for inspiring discussions in the process of writing  ...  RL formulae play a foundational role in the theory of relational databases, where they correspond to conjunctive queries: the select-project-join fragment of relational algebra [2] and select-where-from  ...  In parallel to the foundations of database theory in terms of graph homomorphisms, the 1970s saw the development of Montague semantics [5, 6, 7] , where the meaning of grammatical sentences is given by  ... 
arXiv:1905.07408v2 fatcat:5ry7gdoofzcafiqpyi7ighefaq

Page 1697 of Mathematical Reviews Vol. , Issue 87d [page]

1987 Mathematical Reviews  
Summary: “A new variant of Montague grammar (MG) is pre- sented, with a highly restricted system of grammatical rules, in or- der to guarantee a more principled way of constructing grammars for given fragments  ...  Summary: “We use the algebraic theory of programs, as did A. Blikle [Mathematical foundations of computer science, 167-213, PWN, Warsaw, 1977; MR 58 #19289] and A.  ... 

Page 2486 of Mathematical Reviews Vol. , Issue 81G [page]

1981 Mathematical Reviews  
The papers have led to a branch of linguistics known as “Montague grammar”.  ...  The present paper presents an exposition for logicians of some of the ideas of Montague grammar, together with suggestions of possible modifi- cations and éxtensions.  ... 

Page 3768 of Mathematical Reviews Vol. , Issue 85i [page]

1985 Mathematical Reviews  
Author’s summary: “The approach adopted in the paper is based on the theory known as Montague grammar. Accepting that the- ory in general—especialiy in its modified version, which is due to R.  ...  {For the entire collection see MR 85g:03007. } Sweet, Albert M. (1-RTG2) 85i:03085 A pragmatic theory of locally standard grammar. Notre Dame J. Formal Logic 25 (1984), no. 4, 364-382.  ... 

Page 4716 of Mathematical Reviews Vol. , Issue 87i [page]

1987 Mathematical Reviews  
K. van Benthem (Amsterdam) Buszkowski, Wojciech (PL-POZN) Algebraic models of categorial grammars. Foundations of logic and linguistics (Salzburg, 1983), 403-426, Plenum, New York-London, 1985.  ...  This paper is concerned with the algebraic approach to categorial grammars as developed by J. Lambek [Amer. Math.  ... 

Page 2421 of Mathematical Reviews Vol. 58, Issue 4 [page]

1979 Mathematical Reviews  
{For the entire collection see MR 55 #12442a.} S. Bhargava (Mysore) Stone, John David Treatments of the word ‘true’ in Montague grammar. Logic and linguistics, Part I.  ...  Accordingly, the treat- ment of ‘true’ in Montague grammar is a very important matter.  ... 
« Previous Showing results 1 — 15 out of 401 results