Mathematical Logic Quarterly 43 (1):49-59 (1997)
Authors |
|
Abstract |
We present a categorical/denotational semantics for the Lambek Syntactic Calculus , indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product corresponds to a noncommutative bi-endofunctor into a category, which encloses all categories of such hierarchical structure. A soundness theorem for LSC is shown with respect to this semantical framework
|
Keywords | Categorical model Lambek syntactic calculus Typed λlD‐calculus |
Categories | (categorize this paper) |
DOI | 10.1002/malq.19970430107 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
View all 7 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Analytics
Added to PP index
2013-11-03
Total views
14 ( #729,045 of 2,499,274 )
Recent downloads (6 months)
1 ( #418,195 of 2,499,274 )
2013-11-03
Total views
14 ( #729,045 of 2,499,274 )
Recent downloads (6 months)
1 ( #418,195 of 2,499,274 )
How can I increase my downloads?
Downloads