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