- Tytuł:
-
Rachunek nazw z listami
The Calculus of Names with Lists - Autorzy:
- Wojciechowski, Eugeniusz
- Powiązania:
- https://bibliotekanauki.pl/articles/2012863.pdf
- 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 - Opis:
- In its suppositional phrasing the quantifier-less calculus of names has rules of introduction and Omission of the all (π) and some (σ) functors of the n/n category. The functors are the equivalents of quantifiers. A certain extension of its language by individual variables and a list Operator ([…]) is proposed here. In so extended language the quantifier-less calculus of names with lists is constructed, where axiom AI (a Substitute of the axiom of the theory of identity) and the rules characterising the list Operator are adopted.
- Źródło:
-
Roczniki Filozoficzne; 2011, 59, 1; 35-50
0035-7685 - Pojawia się w:
- Roczniki Filozoficzne
- Dostawca treści:
- Biblioteka Nauki
Artykuł