Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "ELEMENTARY ONTOLOGY" wg kryterium: Temat


Wyświetlanie 1-8 z 8
Tytuł:
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
Autorzy:
Łyczak, Marcin
Pietruszczak, Andrzej
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
elementary ontology
quantifier-free fragment of ontology
ontology-like theories
copula ‘is’
calculus of names
Leśniewski's ontology
subtheories of Leśniewski’s ontology
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
ONTOLOGIA ELEMENTARNA I KLASYCZNY RACHUNEK RELACJI
ELEMENTARY ONTOLOGY AND THE CLASSICAL CALCULUS OF RELATIONS
Autorzy:
Wojciechowski, Eugeniusz
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
ontologia elementarna
systemy Leśniewskiego
sylogizmy ukośne
klasyczna teoria relacji
elementary ontology
Leśniewski’s systems
oblique syllogisms
classical calculus of relations
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rachunek nazw z listami
The Calculus of Names with Lists
Autorzy:
Wojciechowski, Eugeniusz
Data publikacji:
2011
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
bezkwantyfikatorowy rachunek nazw
lista
Operator listowy
ontologia elementarna
systemy Leśniewskiego
quantifier-less calculus of names
list
list Operator
elementary ontology
Leśniewski’s Systems
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
A quantifier-less calculus of names with the rule of extensionality
Autorzy:
Wojciechowski, Eugeniusz
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
bezkwantyfikatorowy rachunek nazw
reguła ekstensjonalności dla funktora inkluzji jednostkowej
ontologia elementarna
systemy Leśniewskiego
quantifier-less calculus of names
extensionality rule for the functor of singular inclusion
elementary ontology
Leśniewski’s systems
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-8 z 8

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies