A Concrete Categorical Model for the Lambek Syntactic Calculus

DOI10.1002/MALQ.19970430107MaRDI QIDQ4333469zbMATHOpenAlexFDO

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

semanticstyped lambda calculussequential productcategorical modelLambek syntactic calculusCurry-Howard isomorphic

Mathematics Subject Classification ID

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

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)

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

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)