On the Notion of Elementary Description

• Autorzy: Terlikowski T.
• Języki publikacji: EN

Abstrakty

EN

In this paper, we deal with systems S including set theory. The concept of an elementary description was introduced in [11] as an auxiliary notion. Such a notion occurs to be necessary to define risk function and risk-type description, that will be subject of the next part of this work. The present paper is a continuation of our research in [13], [14] and [15]; the reader will find all relevant notions in the quoted works.

Słowa kluczowe

EN

system S containing set theory

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 56, nr 4
• Strony: 373--387
• Opis fizyczny: bibliogr. 15 poz.

Twórcy

autor

Terlikowski T.

• Institute of Geophysics of the Polish Academy of Sciences, 64 Księcia Janusz str. 01-452 Warszawa, Poland,

Bibliografia

• [1] L. Borkowski. Formal Logic (in Polish). PWN, Warszawa, 1982.
• [2] A. Grzegorczyk. An Outline of Mathematical Logic (in Polish). Mathematical Library, vol. 20, PWN, Warszawa, 1981.
• [3] K. Kuratowski and A. Mostowski. Set Theory (in Polish). Monografie Matematyczne, vol 27, PWN, Warszawa, 1978.
• [4] A. Mostowski. Mathematical Logic (in Polish). Monografie Matematyczne, Warszawa-Wrocław, 1948.
• [5] W. van Orman Quine. Philosophy of Logic. Prentice-Hall, Englewood Cliffs, NY, 1973. (Polish transl. PWN, Warszawa, 1977).
• [6] H. Rasiowa. Introduction into Contemporary Mathematics (in Polish). Math. Library vol. 30, PWN, Warszawa, 1971.
• [7] E. D. Sontag. Mathematical Control Theory. Springer Verlag, New York, 1998.
• [8] J. Słupecki and L. Borkowski. Elements of Mathematical Logic and Set Theory (in Polish). PWN, Warszawa, 1984.
• [9] A. Tarski. Logico-philosophical Writings. Vol. 1: Truth (in Polish). PWN, Warszawa, 1995.
• [10] A. Tarski. Introduction to Logic (in Polish, first edition 1936). Philomat, Warszawa, 1996.
• [11] T. Terlikowski. On Definition of Two Notions Related to the Safety and Risk in Formal Control Theories (manuscript in Polish). Institute of Geophysics of PAS, 1990.
• [12] T. Terlikowski. « ABC » — On the Use of Normal Forms of Sentential Expression for Defining Certain Notions (related to control theory) (manuscript in Polish). Institute of Geophysics of PAS, Warszawa, 1999.
• [13] T. Terlikowski. A Logical Approach to Control. Some New Logical Concepts and Their Application to the Notion of Safety for Control Variants. Fundamenta Informaticae, 52(4), 2002.
• [14] T. Terlikowski. A Logical Approach to Control. The Concept of Inner Implication. Fundamenta Informaticae, 53(3,4), 2002.
• [15] T. Terlikowski. Descriptional Independence and the Formal Definition of Sequential Control Structure. Fundamenta Informaticae, 54(4), 2003