Temat: quantifier-less calculus of names

Skocz do pozycji: 1.

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: 2.

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: 3.

Tytuł:: IDENTYCZNOŚĆ, PEWNE ZAIMKI FUNKTOROWE I DESKRYPCJE
IDENTITY, CERTAIN FUNCTOR PRONOUNS AND DESCRIPTION
Autorzy:: Wojciechowski, Eugeniusz
Data publikacji:: 2013
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: identyczność
zaimki funktorowe
zaimki wskazujące
bezkwantyfikatorowy rachunek nazw
logika Ockhama
logika średniowieczna
deskrypcje określone
identity
functor pronouns
demonstrative pronouns
quantifier-less calculus of names
Ockham’s logic
medieval logic
definite descriptions; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja