Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_semantics
gptkb: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
|
| 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 |
gptkb:categorial_grammar
non-commutative logic type logic |
| gptkbp:bfsParent |
gptkb:Categorial_Grammar
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lambek calculus
|