Stella Ewa Orłowska (born 1935) is a Polish

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

ian. Her research centers on the concept that everything in logic and set theory can be expressed in terms of

relations Relation or relations may refer to: General uses * International relations, the study of interconnection of politics, economics, and law on a global level * Interpersonal relationship, association or acquaintance between two or more people * ...

, and has used this idea to publish works on

deduction system A formal system is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms. In 1921, David Hilbert proposed to use formal systems as the foundation of knowledge in math ...

s and

model theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...

for

non-classical logic Non-classical logics (and sometimes alternative logics or non-Aristotelian logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this ...

, and logics of non-deterministic and incomplete information. She is a professor at the in

Warsaw Warsaw, officially the Capital City of Warsaw, is the capital and List of cities and towns in Poland, largest city of Poland. The metropolis stands on the Vistula, River Vistula in east-central Poland. Its population is officially estimated at ...

, and the former president of the Polish Association for Logic and Philosophy of Science.

Education and career

Orłowska studied mathematics at the

University of Warsaw The University of Warsaw (, ) is a public university, public research university in Warsaw, Poland. Established on November 19, 1816, it is the largest institution of higher learning in the country, offering 37 different fields of study as well ...

, earning her master's degree in 1957 and a Ph.D. in 1971. The dissertation, ''Theorem Proving Systems'', was supervised by

Helena Rasiowa Helena Rasiowa (20 June 1917 – 9 August 1994) was a Polish mathematician. She worked in the foundations of mathematics and algebraic logic. Early years Rasiowa was born in Vienna on 20 June 1917 to Polish parents. As soon as Poland regained i ...

. She completed her

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in Germany, France, Italy, Poland and some other European and non-English-speaking countries. The candidate fulfills a university's set criteria of excelle ...

there in 1978, with the habilitation thesis ''Resolution Systems and their Applications''. She was a researcher for the

Polish Academy of Sciences The Polish Academy of Sciences (, PAN) is a Polish state-sponsored institution of higher learning. Headquartered in Warsaw, it is responsible for spearheading the development of science across the country by a society of distinguished scholars a ...

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. 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.

Books

Orł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) *''Incomplete Information: Structure, Inference, Complexity'' (with S. Demri, Springer, 2002) *''Dual Tableaux: Foundation, Methodology, Case Studies'' (with Joanna Golińska-Pilarek, Springer, 2011) *''Dualities for Structures of Applied Logics'' (with Anna Maria Radzikowska and Ingrid Rewitzky, College Publications, 2015) She has also edited many volumes of collected papers, including several volumes commemorating the works of Helena Rasiowa and

Zdzisław Pawlak Zdzislaw I. Pawlak (10 November 1926 – 7 April 2006) was a Polish mathematician and computer scientist. He was affiliated with several organization, including the Polish Academy of Sciences and the Warsaw School of Information Technology. H ...

. 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.

References

External links

* {{DEFAULTSORT:Orlowska, Ewa 1935 births Living people Polish logicians 20th-century Polish mathematicians 21st-century Polish mathematicians Polish women mathematicians 20th-century Polish philosophers 21st-century Polish philosophers Polish women philosophers University of Warsaw alumni Academic staff of the University of Warsaw 20th-century Polish women