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

(\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)(\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.