Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
1--21
Opis fizyczny
Bibliogr. 11 poz.
Twórcy
autor
autor
- Department of Computer Science, Stevens Institute of Technology, Hoboken, NJ 07030, USA
Bibliografia
- [1] L. Borkowski, Formal Logic (in Polish), PWN, Warszawa, 1982.
- [2] A. Grzegorczyk, An Outline of Mathematical Logic (in Polish), PWN, Warszawa, 1981.
- [3] A. Mostowski, Mathematical Logic (in Polish), Monografie Matematyczne, Warszawa-Wrocław, 1948.
- [4] W. van Orman Quine. Philosophy of Logic. Prentice-Hall, Englewood Cliffs, NY , 1973 (Polish transl. PWN, Warszawa, 1977).
- 5] E. D. Sontag. Mathematical Control Theory. Springer Verlag, New York, 1998.
- [6] A. Tarski, Introduction to Logic, Philomat (in Polish, first edition 1936) , Warszawa, 1996.
- [7] T. Terlikowski. Information in Two-stage Control - A General Concept and Classification Attempt. Institute of Geophysics PAS, 1981 (ms. in Polish).
- [8] T. Terlikowski. On definition of two notions related to the safety and risk in formal control theories. Institute of Geophysics PAS, Warszawa, 1990 (ms. in Polish).
- [9] T. Terlikowski. The notion of sequential control structure – a general formal analysis. IMACS International Workshop on Decision Support Systems and Qualitative Reasoning. Touluse, France, 1991.
- [10] 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, pp.377-394.
- [11] T. Terlikowski. A logical approach to control. The concept of inner implication. Fundamenta Informaticae, 2003, in print.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0004-0100