No label defined (Q4273432)
From MaRDI portal
scientific article; zbMATH DE number 475195
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 475195 |
Statements
21 August 1994
0 references
relational semantics
0 references
Lambek calculus
0 references
strong completeness theorems
0 references