„Logikai grammatika” változatai közötti eltérés

* <math>\alpha(\beta)\,</math> – típusú, amennyiben bemenetei a (&#946;) típusba, kimenete az &#945; típusba tarozik.
'''Példák.''' Egy egyváltozós predikátum <math>o
(\iota)\,</math> típusú, a kétváltozós <math>o(\iota)(\iota)\,</math> , a háromváltozós <math>o(&#953;\iota)(&#953;\iota)(&#953;\iota)\,</math> ... típusú. Egy egyváltozós mondatfunktor <math>o(o)\,</math>, kétváltozós <math>o(o)(o)\,</math>, háromváltozós <math>o(o)(o)(o)\,</math>, ... típusú. Egy egyváltozós névfunktor &#953;(&#953;), a kétváltozós &#953;(&#953;)(&#953;) <math>\iota
(\iota)\,</math>, a kétváltozós <math>\iota
(\iota)(\iota)\,</math>, ... típusú. A vagyesvegyes funktorok közül például a főnévi igenév &#953;<math>\iota(o(&#953;\iota))\,</math> típusú (tehát egyváltozós predikátumból csinál nevet), a melléknévi jelzők <math>o(&#953;\iota)(o(&#953;\iota))\,</math> típusúak.
 
== [[Ontológia]]i vonatkozások==