Ewa Orłowska facts for kids

Stella Ewa Orłowska, born in 1935, is a smart Polish scientist. She studies logic, which is about how we reason and think. She also studies set theory, which is about groups of things. Her main idea is that everything in logic and set theory can be shown using "relations." Think of relations as connections between things. She used this idea to write about how we prove things in logic and how different logic systems work. She also looked at logic for unclear or missing information. She is a professor in Warsaw, Poland. She also used to be the head of the Polish Association for Logic and Philosophy of Science.

Her Studies and Work

Stella Orłowska studied mathematics at the University of Warsaw. She earned her master's degree in 1957. Later, she received her Ph.D. in 1971. Her Ph.D. paper was about "Theorem Proving Systems." This means she studied how computers or people can prove mathematical statements. Her teacher was Helena Rasiowa, another famous logician. In 1978, she completed her "habilitation." This is a special qualification in some countries. Her paper for this was about "Resolution Systems and their Applications."

She worked as a researcher for the Polish Academy of Sciences from 1959 to 1966. Then, she was a professor at the University of Warsaw from 1971 to 1979. She went back to the Polish Academy of Sciences from 1980 to 1996. There, she became a full professor. Since 1996, she has been a professor at the National Institute of Telecommunications.

Stella Orłowska also led the team for the journal Studia Logica from 1989 to 1991. From 1996 to 1999, she was the president of the Polish Association for Logic and Philosophy of Science.

Books She Wrote

Stella Orłowska has written many important books. Here are some of them:

• Systemy Herbranda dowodzenia twierdzeń rachunku predykatów (1976). This book is about proving theorems in logic.
• Incomplete Information: Structure, Inference, Complexity (2002). She wrote this with S. Demri. It talks about how we deal with information that is not complete.
• Dual Tableaux: Foundation, Methodology, Case Studies (2011). She wrote this with Joanna Golińska-Pilarek. It explores a special way of proving things in logic.
• Dualities for Structures of Applied Logics (2015). She wrote this with Anna Maria Radzikowska and Ingrid Rewitzky. It looks at how different logic systems relate to each other.

She has also helped edit many collections of papers. Some of these books honored the work of other famous scientists like Helena Rasiowa and Zdzisław Pawlak. In 2018, a book called Ewa Orłowska on Relational Methods in Logic and Computer Science was published. It celebrates her important contributions to logic and computer science.