Lambek calculus and its relational semantics: Completeness and incompleteness
type: Item
instance of: scholarly article
title: Lambek calculus and its relational semantics: Completeness and incompleteness
zbMATH Open document ID: 0808.03003
DOI: 10.1007/BF01066355
author: Szabolcs Mikulás
author: Hajnal Andréka
published in: Journal of Logic, Language and Information
publication date: 1994-03-03T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03C90
zbMATH DE Number: 502989
zbMATH Keywords: algebraic logic
zbMATH Keywords: residuated semigroups
zbMATH Keywords: representation theorems
zbMATH Keywords: Lambek Calculus
zbMATH Keywords: relational semantics
zbMATH Keywords: relational Kripke-models
zbMATH Keywords: fragments of Girard's Linear Logic
zbMATH Keywords: language models
MaRDI profile type: MaRDI publication profile
cites work: On taking subalgebras of relativized relation algebras
cites work: Representations of distributive lattice-ordered semigroups with binary relations
cites work: On the strength of temporal proofs
cites work: Language in action
cites work: Representations of ordered semigroups and lattices by binary relations
cites work: Relations and non-commutative linear logic
cites work: Completeness Results for Lambek Syntactic Calculus
cites work: Q3773852
cites work: Adjoining units to residuated Boolean algebras
cites work: Relation algebras as residuated Boolean algebras
cites work: The Mathematics of Sentence Structure
cites work: Algebraization of quantifier logics, an introductory overview
cites work: Lambek calculus is NP-complete
cites work: Q4273484
full work available at URL: https://doi.org/10.1007/bf01066355
OpenAlex ID: W1585815400
description: scientific article; zbMATH DE number 502989