Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
substructural logic |
| gptkbp:application |
computational linguistics
syntax of natural language |
| gptkbp:feature |
does not allow structural rules of exchange, weakening, or contraction
|
| gptkbp:field |
gptkb:logic
linguistics |
| gptkbp:generalizes |
gptkb:Ajdukiewicz–Bar-Hillel_calculus
|
| gptkbp:hasAxiom |
sequents of the form Γ ⊢ A
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lambek calculus
|
| gptkbp:influenced |
gptkb:linear_logic
|
| gptkbp:introducedIn |
1958
|
| gptkbp:inventedBy |
gptkb:Joachim_Lambek
|
| gptkbp:notation |
uses slashes (\\, /) and dot (·) for operations
|
| gptkbp:property |
associative
non-commutative substructural |
| gptkbp:relatedTo |
categorial grammar
non-commutative logic type logic |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|