Wszystkie pola: quantifier-less calculus of names

Skocz do pozycji: 1.

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

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

Skocz do pozycji: 4.

Tytuł:: IDENTYCZNOŚĆ, PEWNE ZAIMKI FUNKTOROWE I DESKRYPCJE
IDENTITY, CERTAIN FUNCTOR PRONOUNS AND DESCRIPTION
Autorzy:: Eugeniusz Wojciechowski
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:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Bezkwantyfikatorowy założeniowy system rachunku zdań. Część druga
A Quantifier-less Suppositional System of the Calculus of Names. Part II
Autorzy:: Borkowski, Ludwik
Data publikacji:: 1993
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja