A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425)
From MaRDI portal
scientific article; zbMATH DE number 1271034
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Labelled Deductive System for Relational Semantics of the Lambek Calculus |
scientific article; zbMATH DE number 1271034 |
Statements
A Labelled Deductive System for Relational Semantics of the Lambek Calculus (English)
0 references
18 May 1999
0 references
Lambek calculus
0 references
labelled deductive system
0 references
relational semantics
0 references
