Lambek Calculus

GPTKB entity

Statements (30)
Predicate Object
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