Stella Ewa Orłowska (born 1935)[1] is a Polish logician. Her research centers on the concept that everything in logic and set theory can be expressed in terms of relations, and has used this idea to publish works on deduction systems and model theory for non-classical logic, and logics of non-deterministic and incomplete information.[2] She is a professor at the National Institute of Telecommunications in Warsaw, and the former president of the Polish Association for Logic and Philosophy of Science.[3]
Education and career
editOrłowska studied mathematics at the University of Warsaw, earning her master's degree in 1957 and a Ph.D. in 1971.[3] The dissertation, Theorem Proving Systems, was supervised by Helena Rasiowa.[3][4] She completed her habilitation there in 1978, with the habilitation thesis Resolution Systems and their Applications.[3]
She was a researcher for the Polish Academy of Sciences from 1959 to 1966, and an assistant professor of mathematics at the University of Warsaw from 1971 to 1979. From 1980 to 1996 she returned to the Polish Academy of Sciences, with positions equivalent to associate and then full professor. She has been a professor at the National Institute of Telecommunications since 1996.[3]
She chaired the editorial board of the journal Studia Logica from 1989 to 1991, and served as president of the Polish Association for Logic and Philosophy of Science from 1996 to 1999.[3]
Books
editOrłowska is the author of books including:
- Systemy Herbranda dowodzenia twierdzeń rachunku predykatów [Herbrand systems for proving theorems of predicate calculus] (Państwowe Wydawnictwo Naukowe, 1976)[5]
- Incomplete Information: Structure, Inference, Complexity (with S. Demri, Springer, 2002)[6]
- Dual Tableaux: Foundation, Methodology, Case Studies (with Joanna Golińska-Pilarek, Springer, 2011)[7]
- Dualities for Structures of Applied Logics (with Anna Maria Radzikowska and Ingrid Rewitzky, College Publications, 2015)[8]
She has also edited many volumes of collected papers, including several volumes commemorating the works of Helena Rasiowa[9] and Zdzisław Pawlak. The book Ewa Orłowska on Relational Methods in Logic and Computer Science, edited by Joanna Golińska-Pilarek and Michal Zawidski, was published by Springer in 2018 in their Outstanding Contributions to Logic book series.[2]
References
edit- ^ Birth year from VIAF authority control record, accessed 2021-03-08
- ^ a b Review of Ewa Orłowska on Relational Methods in Logic and Computer Science: Ingrid Rewitzky (2021), Studia Logica, doi:10.1007/s11225-020-09899-x
- ^ a b c d e f Curriculum vitae (PDF), Polish Association for Logic and Philosophy of Science, March 2016, retrieved 2021-03-08
- ^ Ewa Orłowska at the Mathematics Genealogy Project
- ^ Review of Systemy Herbranda dowodzenia twierdzeń rachunku predykatów: G. E. Minc, MR0434782
- ^ Reviews of Incomplete Information: Jouni Järvinen (2006), Studia Logica, JSTOR 20016845; Prabhat Kumar Mahanti, Zbl 1016.68163
- ^ Reviews of Dual Tableaux: Branislav Boričić, Zbl 1210.03001; Walter Carnielli (2013), Studia Logica, JSTOR 23488589; Manuel Ojeda-Aciego, MR2761343
- ^ Review of Dualities for Structures of Applied Logics: Jānis Cīrulis, MR3560754, Zbl 1337.03002
- ^ Review of Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (edited by Orłowska): Greg Restall (2001), Studia Logica, JSTOR 20016366
External links
edit- Ewa Orłowska publications indexed by Google Scholar