Helena Rasiowa (1917–1994). Life and personality. (English) Zbl 1518.01011
Summary: This is a biographical sketch of Professor Helena Rasiowa (1917–1994) one of the leading logicians from Warsaw. She was not only a great scientist but also a great human being. Professor Rasiowa influenced numerous researchers from all over the world, especially by her results in algebraic logic, as well as by her great contributions for the mathematical community in all respects. She was also a co-founder of the Pawlak-Rasiowa School of Artificial Intelligence (AI) [the authors, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 106–143 (2008; Zbl 1149.01021)]. In the preparation of this article we used some articles dedicated to Professor Rasiowa. We also added some personal comments on her personality as perceived by the authors of this article and collected from the letters and articles of co-workers and PhD students of Professor Rasiowa.
In particular, this article is an extension of [the authors, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 703–709 (2018; Zbl 1466.01017)].
In particular, this article is an extension of [the authors, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 703–709 (2018; Zbl 1466.01017)].
MSC:
| 01A70 | Biographies, obituaries, personalia, bibliographies |
| 03-03 | History of mathematical logic and foundations |
Biographic References:
Rasiowa, HelenaSoftware:
LOGLANReferences:
| [1] | Bartol W., Orłowska E., Skowron A., (1995). Helena Rasiowa, 1917 - 1994, Modern Logic. Int. J. for the History of Math. Logic, Set Theory, and Found. of Mathematics, 5(3), 231-248. · Zbl 0828.01009 |
| [2] | Bell J.L., (2011). Set Theory Boolean-Valued Models and Independence Proofs. Oxford Logic Guides 47, Oxford University Press (2011) · Zbl 1233.03002 |
| [3] | Czelakowski J., (2018). Rasiowa-Sikorski sets and forcing, In: Odintsov S. (ed.), Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contributions to Logic 15, Springer, Cham, 117-153. · Zbl 1429.03136 |
| [4] | Fitting M., (1998). A tribute to Professor Helena Rasiowa, In: Orlowska E. (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag, Heidelberg, v-viii. |
| [5] | Gieysztor A., (1984). Welcoming remarks on behalf of the Polish Academy of Sciences. Proceedings of the International Congress of Mathematicians (August 16-24, 1983, Warszawa), 1, PWN, Polish Scientific Publishers, Warsaw, LII-LIII. |
| [6] | Grzegorczyk A., Rasiowa H. (eds.), (1963). Computable analysis, Rozprawy Matematyczne 33, 1-111. · Zbl 0113.24306 |
| [7] | Jankowski A., (2017), Interactive Granular Computations in Networks and Systems Engineering: A Practical Perspective, Lecture Notes in Networks and Systems 17, Springer, Cham. |
| [8] | Jankowski A., Skowron A., (2008). Logic for Artificial Intelligence: The Rasiowa - Pawlak School Perspective, In: Ehrenfeucht A., Marek V., Srebrny M. (eds.), Andrzej Mostowski and Foundational Studies, IOS Press, Amsterdam, 106-143. · Zbl 1149.01021 |
| [9] | Jankowski A., Skowron A., (2018). Helena Rasiowa (1917-1994), In: Garrido A., Wybraniec-Skardowska U. (eds.), Lvov-Warsaw School. Past and Present, Studies in Universal Logic, Birkha¨user Publishing Ltd. Springer, Basel, 703-709. · Zbl 1466.01017 |
| [10] | Kreczmar A., Salwicki A., Warpechowski M., (1990). LOGLAN’88—Report on the Programming Language, Springer, Berlin, Germany. · Zbl 0703.68029 |
| [11] | Leibniz G. W., (1666). Dissertatio de Arte Combinatoria. Leipzig. |
| [12] | Mirkowska-Salwicka G., Salwicki A., (1986). Algorithmic Logic, D. Reidel Publishing Company, Dordrecht and PWN - Polish Scientific Publishers, Warsaw. doi: 10.2307/2274777; |
| [13] | Niwinski D., (2016). Contribution of Warsaw Logicians to Computational Logic, Axioms, 5(2), 16. doi: 10.3390/axioms5020016; · Zbl 1415.03006 |
| [14] | Niwinski D., Zawadowski M. (eds.), (1999). Logic, Algebra and Computer Science: Helena Rasiowa in memoriam, Banach Center Publications 46, Polish Academy of Sciences, Institute of Mathematics. · Zbl 0913.00019 |
| [15] | Orłowska E., Golinska-Pilarek J., (2011). Dual Tableaux: Foundations, Methodology, Case Studies, Trends in Logic 13, Springer, Dordrecht. · Zbl 1210.03001 |
| [16] | Pawlak Z., (1982). Rough sets, International Journal of Computer and Information Sciences 11(5), 341-356. · Zbl 0501.68053 |
| [17] | Rasiowa H., (1947). Axiomatisation d’un syst‘eme partiel de la th´eorie de la d´eduction, Comptes-Rendues de la Soc. de Sci. et de Lettres de Varsovie, C1 III, 22-37. · Zbl 0039.00601 |
| [18] | Rasiowa H., (1947). Sur certaines matrices logiques, Comptes-Rendues de la Soc. Pol. de Math., 20, 402-403. |
| [19] | Rasiowa H., Sikorski R., (1963). The Mathematics of Metamathematics, Monografie Matematyczne 41, First Edition, PWN, Warsaw (2nd edition (1968), 3rd edition (1970)). · Zbl 0122.24311 |
| [20] | Rasiowa H., (1974). Algebraic Approach to Non Classical Logics, Studies in Logic and the Foundations of Mathematics 78, North Holland, Amsterdam. · Zbl 0299.02069 |
| [21] | Rasiowa H., (1994). Cecylia Rauszer, Studia Logica, 53, 467-471. doi:10.1007/BF01057645; · Zbl 0807.01030 |
| [22] | Rasiowa, H.: Algebraic Models of Logics. Warsaw University, Warsaw (2001). |
| [23] | Rauszer C., Sabalski B., (1975). Notes on the Rasiowa-Sikorski lemma. Studia Logica, 34, 265-268. doi: 10.1007/BF02125229; · Zbl 0338.06002 |
| [24] | Reflections on the Treatment of Peoples of Alien Races in the East: A Secret Memorandum Handed to Hitler by Himmler on 25 May 1940. Translation of Document No-1880 Prosecution Exhibit 1314. In: Trials of War Criminals Before the Nuernberg Military Tribunals: Volume XIII “The Ministries Case”: pp. 147-150. Washington, DC: United States Government Printing Office. https://www.loc.gov/rr/frd/ Military_Law/pdf/NT_war-criminals_Vol-XIII.pdf. Accessed on 20 Novmeber 2020. |
| [25] | Salwicki A., (1970). Formalized algorithmic languages, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astron. Phys., 18, 227-232. · Zbl 0198.02801 |
| [26] | Semeniuk-Polkowska M., (1996). Greatness measured by faith, talent, work and suffering. My memories of Professor Helena Rasiowa, Bulletin of the Section of Logic 25(3-4), 190-202. · Zbl 0861.01030 |
| [27] | Skowron A. (ed.), (1996). Logic, algebra and computer science: Helena Rasiowa and Cecylia Rauszer in memoriam (Warsaw, Poland, June 10, 1995), Bulletin of the Section of Logic, 25(3-4), 1-215. |
| [28] | Vakarelov D., (2006) : Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Studia Logica, 84, 105-127. doi: 10.1007/s11225-006-9004-y; · Zbl 1114.03027 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
