Paper Status Tracking

Article
Author(s)

T. J. Stepień, L. T. Stepień

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.

About | Terms & Conditions | Issue | Privacy | Contact us
Coryright © 2015 David Publishing Company All rights reserved, 616 Corporate Way, Suite 2-4876, Valley Cottage, NY 10989
Tel: 1-323-984-7526, 323-410-1082; Fax: 1-323-984-7374, 323-908-0457 , www.davidpublisher.com, Email: order@davidpublishing.com