gptkbp:instanceOf
|
formal semantics
substructural logic
|
gptkbp:application
|
computational linguistics
syntax of natural language
|
gptkbp:basisFor
|
modern categorial grammars
|
gptkbp:feature
|
does not allow structural rules of exchange, weakening, or contraction
|
gptkbp:field
|
gptkb:logic
linguistics
|
gptkbp:fileExtension
|
gptkb:Lambek–Grishin_calculus
gptkb:multimodal_Lambek_calculus
gptkb:non-associative_Lambek_calculus
|
gptkbp:generalizes
|
gptkb:Ajdukiewicz–Bar-Hillel_calculus
|
gptkbp:hasAxiom
|
gptkb:Joachim_Lambek
|
https://www.w3.org/2000/01/rdf-schema#label
|
Lambek Calculus
|
gptkbp:influenced
|
gptkb:linear_logic
type-logical grammar
|
gptkbp:introducedIn
|
1958
|
gptkbp:inventedBy
|
gptkb:Joachim_Lambek
|
gptkbp:notation
|
uses slash operators (\\ and /)
|
gptkbp:property
|
associative
non-commutative
substructural
|
gptkbp:publishedIn
|
gptkb:The_Mathematics_of_Sentence_Structure_(1958)
|
gptkbp:relatedTo
|
categorial grammar
non-commutative logic
type logic
|
gptkbp:usedIn
|
formal semantics
proof theory
|
gptkbp:bfsParent
|
gptkb:categorial_grammar
|
gptkbp:bfsLayer
|
6
|