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