Ewy Orłowskiej

Stella Ewa Orłowska (ur. 1935) jest polską logiką , której badania koncentrują się na koncepcji, że wszystko w logice i teorii mnogości można wyrazić w kategoriach relacji , i która wykorzystała tę ideę do opublikowania prac na tematy obejmujące systemy dedukcji i teorię modeli dla logika nieklasyczna oraz logika informacji niedeterministycznej i niepełnej. Jest profesorem Państwowego Instytutu Łączności w Warszawie oraz byłym prezesem Polskiego Towarzystwa Logiki i Filozofii Nauki.

Edukacja i kariera

Orłowska studiowała matematykę na Uniwersytecie Warszawskim , uzyskując tytuł magistra w 1957 i doktorat. w 1971. Promotorem rozprawy pt. Systemy dowodzenia twierdzeń była Helena Rasiowa . Habilitowała się tam w 1978 r. habilitacją Systemy rozdzielcze i ich zastosowania .

była pracownikiem naukowym Polskiej Akademii Nauk , a w latach 1971-1979 adiunktem matematyki na Uniwersytecie Warszawskim. W latach 1980-1996 wróciła do Polskiej Akademii Nauk, zajmując stanowiska równorzędne i następnie profesor zwyczajny. Od 1996 jest profesorem Państwowego Instytutu Telekomunikacji.

W latach 1989-1991 przewodniczyła redakcji czasopisma Studia Logica , a w latach 1996-1999 była prezesem Polskiego Towarzystwa Logiki i Filozofii Nauki.

Książki

Orłowska jest autorką książek m.in.

• Systemy Herbranda dowodzenia twierdzeń rachunku predykatów (Państwowe Wydawnictwo Naukowe, 1976 )
• Niekompletne informacje: struktura, wnioskowanie, złożoność (z S. Demri, Springer, 2002)
• Dual Tableaux: Foundation, Methodology, Case Studies (z Joanną Golińską-Pilarek, Springer, 2011)
• Dualities for Structures of Applied Logics (z Anną Marią Radzikowską i Ingrid Rewitzky, College Publications, 2015)

Zredagowała też wiele tomów druków zebranych, w tym kilka tomów upamiętniających twórczość Heleny Rasiowej i Zdzisława Pawlaka . Książka Ewa Orłowska on Relational Methods in Logic and Computer Science , pod redakcją Joanny Golińskiej-Pilarek i Michała Zawidskiego, została opublikowana przez wydawnictwo Springer w 2018 roku w serii książek Outstanding Contributions to Logic .

Linki zewnętrzne

• Ewy Orłowskiej indeksowane przez Google Scholar