[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

Kategoriální gramatika

Bar-Hillel:

Každá věta, která není prvkem, je považována za výsledek operace jedné
podposloupnosti na zbytek, který od ní může být bezprostředně vpravo, bezprostředně vlevo,
nebo na obou stranách. … Ta podposloupnost, která je nahlížena jako operující je
operátor, ostatní jejími argumenty.

ke každému gramatickému pravidlu R najdeme <latex>i < n</latex> takové
<latex>||R(E_1,…,E_n)|| = ||E_i||(||E_1||,…,||E_n||)</latex>

onen výraz kategorie <latex>A_i</latex> pak označujeme jako typu <latex>A/A_1,…,A_{i-1},A_{i+1},…,A_n</latex>

kategorie výroků: <latex>$V$</latex>
kategorie termů: <latex>$T$</latex>
kategorie predikátů: <latex>V/T</latex> [U→B]
negace a ostatní unární operátory: <latex>V/V</latex>
binární výrokové operátory: <latex>V/V,V</latex> simulovat na dva kroky jako <latex>(V/V)/V</latex>
kvantifikátory LE: <latex>V/(V/T)</latex>
kvantifikátory LE*:


[ Back to the navigation ] [ Back to the content ]