Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Leśniewski's elementary ontology

Sortuj według:

Ogranicz wyniki do:

On Ontological Functors of Lesniewski's Elementary Ontology

Urbaniak R.

Reports on Mathematical Logic

2006

Nr 40

15-43

We present an algorithm which allows to define any possible sentence-formative functor of Leśniewski's Elementary 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 {^,A,epsilon}