Skip to main menu
Scroll to content
Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit
https://bibliotekanauki.pl
Search
Browse
About
test
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Author-Date)
Harvard
ACS
ACS (no art. title)
IEEE
Article details
Tools
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Author-Date)
Harvard
ACS
ACS (no art. title)
IEEE
Link to site
Copy
Journal
Logic and Logical Philosophy
2012
|
21
|
1
| 25-32
Article title
On Relational and Functional Languages
Authors
Vladimir Shalack
Title variants
Languages of publication
EN
Abstracts
EN
We prove two theorems concerning expressive power of relational and functional languages. The theorems have interesting consequences for the history of philosophy and logic.
Keywords
EN
relational language
functional language
substantivemetaphysics
Publisher
Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
Journal
Logic and Logical Philosophy
Year
2012
Volume
21
Issue
1
Pages
25-32
Physical description
Dates
published
2012-03-01
online
2013-07-02
Contributors
author
Vladimir Shalack
shalack@mail.ru
Section of Logic Institute of Philosophy Russian Academy of Sciences Volkhonka 14 119991 Moscow, Russia
References
[1] Carnap, R., “Die alte und die neue Logik”, Erkenntnis, Bd. I, Leipzig, 1930-1931, p. 12-26.
[2] Kleene, S.C., Introduction to Metamathematics, Elsevier Science Ltd, 1952.
[3] Mendelson, E., Introduction to Mathematical Logic, D. Van Nostrand Co. Inc., New York, 1997 (fourth edition).
[4] Smirnov, V.A., Logicheskie metody analiza nauchnogo znanija, Nauka, Moskva, 1987.
Document Type
Publication order reference
Identifiers
DOI
10.12775/LLP.2012.002
YADDA identifier
bwmeta1.element.doi-10_2478_llc-2012-0002
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.