92:
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
470:
440:
435:
455:
450:
465:
445:
475:
460:
137:
She has also edited many volumes of collected papers, including several volumes commemorating the works of Helena
Rasiowa and
43:
100:
from 1989 to 1991, and served as president of the Polish
Association for Logic and Philosophy of Science from 1996 to 1999.
245:
217:
89:
430:
48:
26:. Her research centers on the concept that everything in logic and set theory can be expressed in terms of
425:
420:
66:
145:, edited by Joanna Golińska-Pilarek and Michal Zawidski, was published by Springer in 2018 in their
39:
382:
324:
284:
138:
27:
358:
312:
292:
190:
354:
335:
264:
362:
351:
332:
316:
296:
261:
57:, and the former president of the Polish Association for Logic and Philosophy of Science.
401:
42:, and logics of non-deterministic and incomplete information. She is a professor at the
405:
74:
31:
414:
78:
35:
194:
133:(with Anna Maria Radzikowska and Ingrid Rewitzky, College Publications, 2015)
69:, earning her master's degree in 1957 and a Ph.D. in 1971. The dissertation,
241:
386:
328:
288:
54:
225:, Polish Association for Logic and Philosophy of Science, March 2016
166:
23:
183:
Ewa Orłowska on
Relational Methods in Logic and Computer Science
143:
Ewa Orłowska on
Relational Methods in Logic and Computer Science
375:
Logic at Work: Essays
Dedicated to the Memory of Helena Rasiowa
258:
Systemy
Herbranda dowodzenia twierdzeń rachunku predykatów
113:
Systemy
Herbranda dowodzenia twierdzeń rachunku predykatów
119:
Incomplete
Information: Structure, Inference, Complexity
125:
Dual
Tableaux: Foundation, Methodology, Case Studies
96:She chaired the editorial board of the journal
127:(with Joanna Golińska-Pilarek, Springer, 2011)
30:, and has used this idea to publish works on
8:
81:there in 1978, with the habilitation thesis
377:(edited by Orłowska): Greg Restall (2001),
108:Orłowska is the author of books including:
471:Academic staff of the University of Warsaw
348:Dualities for Structures of Applied Logics
131:Dualities for Structures of Applied Logics
83:Resolution Systems and their Applications
44:National Institute of Telecommunications
158:
177:
175:
115:(Państwowe Wydawnictwo Naukowe, 1976)
7:
212:
210:
208:
206:
204:
202:
65:Orłowska studied mathematics at the
441:21st-century Polish mathematicians
436:20th-century Polish mathematicians
147:Outstanding Contributions to Logic
14:
456:21st-century Polish philosophers
451:20th-century Polish philosophers
121:(with S. Demri, Springer, 2002)
93:Telecommunications since 1996.
1:
246:Mathematics Genealogy Project
167:VIAF authority control record
88:She was a researcher for the
466:University of Warsaw alumni
446:Polish women mathematicians
319:; Walter Carnielli (2013),
16:Polish logician (born 1935)
492:
195:10.1007/s11225-020-09899-x
185:: Ingrid Rewitzky (2021),
90:Polish Academy of Sciences
476:20th-century Polish women
461:Polish women philosophers
291:; Prabhat Kumar Mahanti,
279:: Jouni Järvinen (2006),
404:publications indexed by
22:(born 1935) is a Polish
331:; Manuel Ojeda-Aciego,
71:Theorem Proving Systems
277:Incomplete Information
311:: Branislav Boričić,
169:, accessed 2021-03-08
77:. She completed her
73:, was supervised by
67:University of Warsaw
61:Education and career
40:non-classical logic
20:Stella Ewa Orłowska
350:: Jānis Cīrulis,
32:deduction systems
483:
431:Polish logicians
389:
371:
365:
344:
338:
305:
299:
273:
267:
254:
248:
239:
233:
232:
231:
230:
224:
219:Curriculum vitae
214:
197:
179:
170:
165:Birth year from
163:
52:
491:
490:
486:
485:
484:
482:
481:
480:
411:
410:
398:
393:
392:
372:
368:
345:
341:
306:
302:
274:
270:
255:
251:
240:
236:
228:
226:
222:
216:
215:
200:
180:
173:
164:
160:
155:
139:Zdzisław Pawlak
106:
63:
46:
17:
12:
11:
5:
489:
487:
479:
478:
473:
468:
463:
458:
453:
448:
443:
438:
433:
428:
423:
413:
412:
409:
408:
406:Google Scholar
397:
396:External links
394:
391:
390:
366:
339:
300:
268:
260:: G. E. Minc,
249:
234:
198:
171:
157:
156:
154:
151:
135:
134:
128:
122:
116:
105:
102:
75:Helena Rasiowa
62:
59:
15:
13:
10:
9:
6:
4:
3:
2:
488:
477:
474:
472:
469:
467:
464:
462:
459:
457:
454:
452:
449:
447:
444:
442:
439:
437:
434:
432:
429:
427:
426:Living people
424:
422:
419:
418:
416:
407:
403:
400:
399:
395:
388:
384:
380:
379:Studia Logica
376:
370:
367:
364:
360:
356:
353:
349:
343:
340:
337:
334:
330:
326:
322:
321:Studia Logica
318:
314:
310:
309:Dual Tableaux
304:
301:
298:
294:
290:
286:
282:
281:Studia Logica
278:
272:
269:
266:
263:
259:
253:
250:
247:
243:
238:
235:
221:
220:
213:
211:
209:
207:
205:
203:
199:
196:
192:
188:
187:Studia Logica
184:
178:
176:
172:
168:
162:
159:
152:
150:
149:book series.
148:
144:
140:
132:
129:
126:
123:
120:
117:
114:
111:
110:
109:
103:
101:
99:
98:Studia Logica
94:
91:
86:
84:
80:
76:
72:
68:
60:
58:
56:
50:
45:
41:
37:
33:
29:
25:
21:
402:Ewa Orłowska
378:
374:
369:
347:
342:
320:
308:
303:
280:
276:
271:
257:
252:
242:Ewa Orłowska
237:
227:, retrieved
218:
186:
182:
161:
146:
142:
136:
130:
124:
118:
112:
107:
97:
95:
87:
82:
79:habilitation
70:
64:
36:model theory
19:
18:
421:1935 births
307:Reviews of
275:Reviews of
141:. The book
47: [
415:Categories
373:Review of
363:1337.03002
346:Review of
317:1210.03001
297:1016.68163
256:Review of
229:2021-03-08
181:Review of
153:References
28:relations
387:20016366
329:23488589
289:20016845
24:logician
355:3560754
336:2761343
265:0434782
244:at the
385:
361:
327:
315:
295:
287:
55:Warsaw
383:JSTOR
325:JSTOR
285:JSTOR
223:(PDF)
104:Books
51:]
38:for
34:and
359:Zbl
313:Zbl
293:Zbl
191:doi
53:in
417::
381:,
357:,
352:MR
333:MR
323:,
283:,
262:MR
201:^
189:,
174:^
85:.
49:pl
193::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.