The conjoinability relation in Lambek calculus and linear logic

DOI10.1007/BF01110612MaRDI QIDQ1334986zbMATH OpenOpenAlexFDO

Authors Mati Pentus

Publication date 26 September 1994

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01110612

zbMATH Keywords

Church-Rosser propertyfree group interpretationLambek calculuslinear logicsyntactic types

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Lower and upper bounds for the length of joins in the Lambek calculus
• Conjoinability in 1-discontinuous Lambek calculus
• The conjoinability relation in discontinuous Lambek calculus
• The length of joins in Lambek calculus
• On the directional Lambek calculus

Cites work

• Language in action. Categories, lambdas and dynamic logic
• Linear logic
• Quantales and (noncommutative) linear logic
• The Mathematics of Sentence Structure

Cited in

(13)

• The least conjunctive refinement and promotion in the refinement calculus
• Fibred semantics for feature-based grammar logic
• Conjunctors and their residual implicators: characterizations and construction methods
• The length of joins in Lambek calculus
• Language models for some extensions of the Lambek calculus
• The conjoinability relation in discontinuous Lambek calculus
• scientific article; zbMATH DE number 4070860 (Why is no real title available?)
• scientific article; zbMATH DE number 4083696 (Why is no real title available?)
• Lower and upper bounds for the length of joins in the Lambek calculus
• Complexity of the infinitary Lambek calculus with Kleene star
• Conjoinability in 1-discontinuous Lambek calculus
• scientific article; zbMATH DE number 3274718 (Why is no real title available?)
• Symmetric categorial grammar

This page was built for publication: The conjoinability relation in Lambek calculus and linear logic

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