Temat: ELEMENTARY ONTOLOGY

Skocz do pozycji: 1.

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ł

Szczegóły

Skocz do pozycji: 2.

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ł

Szczegóły

Skocz do pozycji: 3.

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ł

Szczegóły

Skocz do pozycji: 4.

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ł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Modalny rachunek nazw
Modal Calculus of Names
Autorzy:: Wojciechowski, Eugeniusz
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: modalność
modalność de re
modalność de dicto
funktor modalny
rachunek modalny
modalna ontologia elementarna
modality
modality de re
modality de dicto
modal operator
modal calculus
elementary modal ontology; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: What is a good formalization?
Jak tworzy się dobre formalizacje?
Autorzy:: Wójtowicz, Anna
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: formalization
ontology of situations
lattice of elementary situations
logical dimension
states of affairs
formalizacja
ontologia sytuacji
krata sytuacji elementarnych
wymiar logiczny
stan rzeczy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja