Ajdukiewicz–Bar-Hillel calculus
GPTKB entity
Statements (13)
Predicate | Object |
---|---|
gptkbp:instanceOf |
formal semantics
categorial grammar |
gptkbp:developedBy |
gptkb:Yehoshua_Bar-Hillel
gptkb:Kazimierz_Ajdukiewicz |
gptkbp:field |
gptkb:logic
linguistics |
https://www.w3.org/2000/01/rdf-schema#label |
Ajdukiewicz–Bar-Hillel calculus
|
gptkbp:introducedIn |
1935
|
gptkbp:relatedTo |
gptkb:Lambek_calculus
combinatory categorial grammar |
gptkbp:usedFor |
syntactic analysis
|
gptkbp:bfsParent |
gptkb:Lambek_calculus
|
gptkbp:bfsLayer |
5
|