non-associative Lambek calculus
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
substructural logic |
| gptkbp:compatibleWith |
associativity of concatenation
|
| gptkbp:field |
gptkb:logic
computational linguistics |
| https://www.w3.org/2000/01/rdf-schema#label |
non-associative Lambek calculus
|
| gptkbp:introduced |
gptkb:Joachim_Lambek
|
| gptkbp:introducedIn |
1961
|
| gptkbp:relatedTo |
substructural logics
non-associative logic |
| gptkbp:usedIn |
categorial grammar
type-logical grammar |
| gptkbp:variant |
gptkb:Lambek_calculus
|
| gptkbp:bfsParent |
gptkb:Lambek_Calculus
|
| gptkbp:bfsLayer |
7
|