The conjoinability relation in Lambek calculus and linear logic
type: Item
instance of: scholarly article
title: The conjoinability relation in Lambek calculus and linear logic
zbMATH Open document ID: 0805.03004
DOI: 10.1007/BF01110612
published in: Journal of Logic, Language and Information
publication date: 1994-09-26T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 644784
zbMATH Keywords: free group interpretation
zbMATH Keywords: Church-Rosser property
zbMATH Keywords: syntactic types
zbMATH Keywords: Lambek calculus
zbMATH Keywords: linear logic
author: Mati Pentus
MaRDI profile type: Publication
cites work: Language in action. Categories, lambdas and dynamic logic
cites work: Linear logic
cites work: The Mathematics of Sentence Structure
cites work: Quantales and (noncommutative) linear logic
full work available at URL: https://doi.org/10.1007/bf01110612
OpenAlex ID: W1963748674
description: scientific article; zbMATH DE number 644784