Symbol = umieszczony pomiędzy strukturami typu n tworzy strukturę typu s – otrzymuje typ (nsn)2.
Gramatyką kategorialną (w sensie Leśniewskiego – Ajdukiewicza – Bar-Hillela) określającą język LA jest gramatyka G postaci: G = (VA, IA, s), gdzie: VA = NA, IA(v) = n, dla v ∈ NA; IA(+) = IA(·) = (nnn)2; IA(=) = (nsn)2.
Znaczenia i zastosowanie gramatyk kategorialnych I logika analiza roli typów w składni i semantyce języka
II lingwistyka ustanowienie wzorca formalizacji języka maszynowa analiza syntaktyczna przekład maszynowy
Bibliografia Wojciech Buszkowski, Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka, Wydawnictwo PWN, Warszawa 1989, .
Kategoria:Gramatyka Kategoria:Semiotyka Kategoria:Lingwistyka komputerowa