We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
A Concrete Categorical Model for the Lambek Syntactic Calculus.
- Authors
Da Silva Corrêa, Marcelo; Haeusler, Edward Hermann
- Abstract
The article presents a study that utilized denotational/ categorical semantics of Lambek Syntactic Calculus (LSC) to create an abstract noncommutative construction with left and right adjoints known as product. The study used a hierarchical structure of categories, inductive construction of compound expressions, and a soundness theorem. Results show that the product corresponds a noncommutative bi-endofunctor that encloses the hierarchical structure's categories.
- Subjects
DENOTATIONAL semantics; CATEGORIES (Mathematics); CALCULUS; NONCOMMUTATIVE algebras; PRODUCTS of subgroups
- Publication
Mathematical Logic Quarterly, 1997, Vol 43, Issue 1, p49
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/malq.19970430107