TY - JOUR T1 - On Ontological Functors of Lesniewski's Elementary Ontology JF - Reports on Mathematical Logic Y1 - 2006 A1 - Urbaniak, Rafal AB -

We present an algorithm which allows to define any possible sentence-formative functor of Le&\#347;niewski's Elemen- tary Ontology (LEO), arguments of which belong to the category of names. Other results are: a recursive method of listing possible functors, a method of indicating the number of possible n-place ontological functors, and a sketch of a proof that LEO is function- ally complete with respect to {&\#8743;,&\#172;, &\#8704;, &\#949;}

VL - 40 SP - 15–43 ER -