A Concrete Categorical Model for the Lambek Syntactic Calculus

DOI10.1002/MALQ.19970430107zbMATH Open0862.03043OpenAlexW2102941940MaRDI QIDQ4333469FDOQ4333469

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

Recommendations

• scientific article; zbMATH DE number 3871337
• scientific article
• 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

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)

Cites Work

• Title not available (Why is that?)
• Quantales and (noncommutative) linear logic
• Title not available (Why is that?)

Cited In (10)

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

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)