๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On categorial grammar and logical form

โœ Scribed by Witold Marciszewski

Publisher
Springer Netherlands
Year
1978
Tongue
English
Weight
300 KB
Volume
37
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Non-associative Lambek Categorial Gramma
Non-associative Lambek Categorial Grammar in Polynomial Time
โœ Erik Aarts; Kees Trautwein ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 455 KB

We present a new axiomatization of the non-associative Lambek calculus. We prove that it takes polynomial time to reduce any non-associative Lambek categorial grammar to an equivalent context-free grammar. Since it is possible to recognize a sentence generated by a context-free grammar in polynomial

Comments on logical form
Comments on logical form
โœ Yehoshua Bar-Hillel ๐Ÿ“‚ Article ๐Ÿ“… 1951 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 262 KB
Gaifman's theorem on categorial grammars
Gaifman's theorem on categorial grammars revisited
โœ Wojciech Buszkowski ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 638 KB

The equivalence of (classical) categorial grammars and context-free grammars, proved by Gaifman [4], is a very basic result of the theory of formal grammars (an essentially equivalent result is known as the Greibach normal form theorem [1], [14]). We analyse the contents of Gaifman's theorem within

Logical form and agency
Logical form and agency
โœ Douglas Walton ๐Ÿ“‚ Article ๐Ÿ“… 1976 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 760 KB

A good deal of Donald Davidson's important and widely influential paper, 'The Logical Form of Action Sentences', 1 is taken up with demonstrating the failure of the Kenny-Chisholm-von Wright style 2 account of the syntax of agency to adequately cope with a varied collection of problems. The approach