Stella Ewa Orłowska (nacida en 1935) [1] es una lógica polaca . Su investigación se centra en el concepto de que todo en lógica y teoría de conjuntos puede expresarse en términos de relaciones , y ha utilizado esta idea para publicar trabajos sobre sistemas de deducción y teoría de modelos para lógica no clásica , y lógicas de información no determinista e incompleta. [2] Es profesora en el Instituto Nacional de Telecomunicaciones en Varsovia , y expresidenta de la Asociación Polaca de Lógica y Filosofía de la Ciencia. [3]
Orłowska estudió matemáticas en la Universidad de Varsovia , donde obtuvo su maestría en 1957 y su doctorado en 1971. [3] La disertación, Sistemas de demostración de teoremas , fue supervisada por Helena Rasiowa . [3] [4] Completó su habilitación allí en 1978, con la tesis de habilitación Sistemas de resolución y sus aplicaciones . [3]
Fue investigadora de la Academia Polaca de Ciencias de 1959 a 1966 y profesora adjunta de matemáticas en la Universidad de Varsovia de 1971 a 1979. De 1980 a 1996 regresó a la Academia Polaca de Ciencias, donde ocupó cargos equivalentes a profesora asociada y luego profesora titular. Desde 1996 es profesora del Instituto Nacional de Telecomunicaciones. [3]
Presidió el consejo editorial de la revista Studia Logica de 1989 a 1991, y sirvió como presidenta de la Asociación Polaca de Lógica y Filosofía de la Ciencia de 1996 a 1999. [3]
Orłowska es autora de libros, entre ellos:
También ha editado numerosos volúmenes de artículos recopilados, incluidos varios volúmenes que conmemoran los trabajos de Helena Rasiowa [9] y Zdzisław Pawlak . El libro Ewa Orłowska on Relational Methods in Logic and Computer Science , editado por Joanna Golińska-Pilarek y Michal Zawidski, fue publicado por Springer en 2018 en su serie de libros Outstanding Contributions to Logic . [2]