A Concrete Categorical Model for the Lambek Syntactic Calculus

DOI10.1002/MALQ.19970430107MaRDI QIDQ4333469zbMATH OpenOpenAlexFDO

Authors Marcelo da Silva Corrêa, Edward Hermann Haeusler

Publication date 25 May 1997

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19970430107

zbMATH Keywords

categorical modelCurry-Howard isomorphicLambek syntactic calculussemanticssequential producttyped lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Structure of proofs (03F07) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Recommendations

• scientific article; zbMATH DE number 3871337
• scientific article; zbMATH DE number 4137754
• Joachim Lambek: the interplay of mathematics, logic, and linguistics
• Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus

Cites work

• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Quantales and (noncommutative) linear logic

Cited in

(10)

• Coherent diagrammatic reasoning in compositional distributional semantics
• Dialectica categories for the Lambek calculus
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• Are (linguists') propositions (topos) propositions?
• scientific article; zbMATH DE number 4137754 (Why is no real title available?)
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Joachim Lambek: the interplay of mathematics, logic, and linguistics
• Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
• CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

This page was built for publication: A Concrete Categorical Model for the Lambek Syntactic Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4333469)