Embedding HTLCG into LCGϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {LCG}_\phi $$\end{document} [Book Review]

Journal of Logic, Language and Information 31 (4):677-721 (2022)
  Copy   BIBTEX

Abstract

A wide array of syntactic phenomena can be categorized as being either direction-sensitive (e.g. coordination) or direction-insensitive (quantification and medial extraction). In the realm of categorial grammar, many frameworks are engineered to handle one class of phenomena at the expense of the other. In particular, Lambek-inspired frameworks handle direction-sensitivity elegantly but struggle with cases of direction-insensitivity, whereas in linear grammars, the situation is just the opposite. One reasonably successful attempt to unify the insights of both types of grammar and allow for the analysis of direction-sensitive as well as direction-insensitive phenomena is hybrid type-logical categorial grammar (HTLCG), which augments the set of syntactic categories of an ordinary linear grammar with the directional slashes of a Lambek grammar. In this paper, the complementary nature of Lambek and linear grammars, with respect to direction-sensitive and direction-insensitive phenomena, is expounded on, as is the nature of how HTLCG attempts to reconcile the two systems. The paper further discusses an alternative to HTLCG—a linear grammar which adds Lambek-like capabilities by augmenting the string-combining (phenogrammatic) mechanism instead of the definition of syntactic categories (the tectogrammar). In particular, LCGϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {LCG}_\phi $$\end{document} (linear categorial grammar with phenominators) adds a form of subtyping based on phenominators—a class of linear functions which specify various modes of (phenogrammatic) combination. Most importantly, an algorithm is provided for embedding HTLCG into LCGϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {LCG}_\phi $$\end{document}, thereby demonstrating that LCGϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {LCG}_\phi $$\end{document} can handle direction-(in)sensitivity at least as well as HTLCG.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Peter Fishburn’s analysis of ambiguity.Mark Shattuck & Carl Wagner - 2016 - Theory and Decision 81 (2):153-165.
Hard Provability Logics.Mojtaba Mojtahedi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 253-312.
Two-cardinal diamond and games of uncountable length.Pierre Matet - 2015 - Archive for Mathematical Logic 54 (3-4):395-412.

Analytics

Added to PP
2022-12-05

Downloads
11 (#1,167,245)

6 months
9 (#355,374)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.

View all 8 references / Add more references