Contact us
 |
[email protected] |
 |
3275638434 |
 |
 |
| Paper Publishing WeChat |
Useful Links
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Article
Author(s)
T. J. Stepień, L. T. Stepień
Full-Text PDF
XML 1519 Views
DOI:10.17265/2159-5291/2014.06.005
Affiliation(s)
The Pedagogical University of Cracow, ul. Podchorazych 2, 30 - 084 Krakow, Poland
ABSTRACT
This paper is the continuation of the paper [13]. Namely, in [13], the scope of the structural completeness in the class of all over-systems of the classical predicate calculus, has been established. In this paper we establish the scope of the structural completeness in the class of all over-systems of the classical functional calculus with identity.
KEYWORDS
Structural completeness
Cite this paper
References
[1] Yu. L. Ershov, E. A. Palyutin, Mathematical Logic, Nauka, Moscow; Engl. Transl., Mir Publishers, Moscow 1984.
[2] A. Grzegorczyk, An Outline Of Mathematical Logic, Pwn, Warszawa 1981. (In Polish)
[3] J. Los, R. Suszko, "Remark On Sentential Logic", Proceedings Of The Koninklijke Nederlandse Akademie Van Weten, Ser A, 61, (1958).
[4] W. A. Pogorzelski, "Structural Completeness Of The Propsitional Calculus", Bulletin De L’Acadmie Polonaise Des Sciences. Srie Des Sciences Mathmatiques, Astronomiques Et Physiques, Vol. 19, No. 5, (1971).
[5] W. A. Pogorzelski, T. Prucnal, "Structural Completeness Of The First-Order Predicate Calculus",Zeitshrift Für Mathematische Logik Und Grundlagen Der Mathematik Bd 21 (1975).
[6] W. A. Pogorzelski, Classical Propositional Calculus, Pwn, Warszawa 1975, (In Polish).
[7] W. A. Pogorzelski, T. Prucnal, "The Subsitution Rule For Predicate Letters In The First-Order Predicate Calculus", Reports On Mathematical Logic, No. 5, (1975).
[8] W. A. Pogorzelski, Classical Calculus Of Quantifiers, Pwn, Warszawa 1981. (In Polish)
[9] W. A. Pogorzelski, P. Wojtylak, Elements Of The Theory Of Completeness In Propositional Logic, Silesian University, Katowice 1982.
[10] W. Rautenberg, A Concise Introduction To Mathematical Logic, Springer 2006.
[11] E. Skvortsova, "On The Scope Of The Structural Completeness In The Functional Calculi With Identity", Referativnyj Zhurnal, No. 12 (2005), 54. (In Russian)
[12] S. M. Srivastava, A Course On Mathematical Logic. Springer 2008.
[13] T. Stepien, "Derivability", Reports On Mathematical Logic, No. 33 (1999), 79.
[14] T. J. Stepien, "On The Scope Of The Structural Completeness In The Functional Calculi With Identity" International Conference Kolmogorov And Contemporary Mathematics, (Moscow, June 16-21, 2003) In Commemoration Of The Centenial Of Andrei Nikolaevich Kolmogorov (25.Iv.1903 - 20.X.1987). Abstracts, Russian Academy Of Sciences (Ras), Moscow State University (Msu), 695 (2003).
[15] R. Wójcicki, Lectures On Propositional Calculi, Ossolineum 1984.
[2] A. Grzegorczyk, An Outline Of Mathematical Logic, Pwn, Warszawa 1981. (In Polish)
[3] J. Los, R. Suszko, "Remark On Sentential Logic", Proceedings Of The Koninklijke Nederlandse Akademie Van Weten, Ser A, 61, (1958).
[4] W. A. Pogorzelski, "Structural Completeness Of The Propsitional Calculus", Bulletin De L’Acadmie Polonaise Des Sciences. Srie Des Sciences Mathmatiques, Astronomiques Et Physiques, Vol. 19, No. 5, (1971).
[5] W. A. Pogorzelski, T. Prucnal, "Structural Completeness Of The First-Order Predicate Calculus",Zeitshrift Für Mathematische Logik Und Grundlagen Der Mathematik Bd 21 (1975).
[6] W. A. Pogorzelski, Classical Propositional Calculus, Pwn, Warszawa 1975, (In Polish).
[7] W. A. Pogorzelski, T. Prucnal, "The Subsitution Rule For Predicate Letters In The First-Order Predicate Calculus", Reports On Mathematical Logic, No. 5, (1975).
[8] W. A. Pogorzelski, Classical Calculus Of Quantifiers, Pwn, Warszawa 1981. (In Polish)
[9] W. A. Pogorzelski, P. Wojtylak, Elements Of The Theory Of Completeness In Propositional Logic, Silesian University, Katowice 1982.
[10] W. Rautenberg, A Concise Introduction To Mathematical Logic, Springer 2006.
[11] E. Skvortsova, "On The Scope Of The Structural Completeness In The Functional Calculi With Identity", Referativnyj Zhurnal, No. 12 (2005), 54. (In Russian)
[12] S. M. Srivastava, A Course On Mathematical Logic. Springer 2008.
[13] T. Stepien, "Derivability", Reports On Mathematical Logic, No. 33 (1999), 79.
[14] T. J. Stepien, "On The Scope Of The Structural Completeness In The Functional Calculi With Identity" International Conference Kolmogorov And Contemporary Mathematics, (Moscow, June 16-21, 2003) In Commemoration Of The Centenial Of Andrei Nikolaevich Kolmogorov (25.Iv.1903 - 20.X.1987). Abstracts, Russian Academy Of Sciences (Ras), Moscow State University (Msu), 695 (2003).
[15] R. Wójcicki, Lectures On Propositional Calculi, Ossolineum 1984.