Outstanding Contributions to Logic

Ewa Orłowska on Relational Methods in Logic and Computer Science

Editors: Golińska-Pilarek, Joanna, Zawidzki, Michał (Eds.)

Free Preview
  • Is the first book to provide a comprehensive presentation of Ewa Orłowska’s contributions to logic
  • Offers a review of the applications of relational methods in logic and computer science
  • Includes an interview with Prof. Orłowska, as well as an autobiography and bibliography
see more benefits

Buy this book

eBook $119.00
price for USA in USD (gross)
  • ISBN 978-3-319-97879-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
  • ISBN 978-3-319-97878-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her research. Prof. Orłowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings. The book also includes Prof. Orłowska’s autobiography, bibliography and a trialogue between her and the editors of the volume, as well as contributors' biographical notes, and is suitable for scholars and students of logic who are interested in understanding more about Prof. Orłowska’s work.

About the authors

Joanna Golińska-Pilarek is an assistant professor at the Institute of Philosophy, University of Warsaw. Her research interests are focused on logic and its applications, in particular in philosophy, mathematics, cognitive and computer sciences. Recently, she has been working on logics for qualitative reasoning and their (relational) dual tableaux, non-Fregean logics with identity and equimeaning connectives. She has published in the leading international journals in the field (Annals of Pure and Applied Logic, Logic Journal of IGPL, Fuzzy Sets and Systems, Studia Logica, Mathematical Logic Quarterly, Journal of Philosophical Logic, Notre Dame Journal of Formal Logic). She has also co-authored a comprehensive survey monograph, Dual Tableaux: Foundations, Methodology, Case Studies, published by Springer (2011).

Michał Zawidzki is an assistant professor at the Department of Logic and Methodology of Science, University of Łódź. He obtained his PhD from the University of Łódź in 2013.  His research interests are in the fields of modal logics, hybrid logics, decidability, and computational complexity of non-classical logics, tableau calculi, and applications of logics in modeling human interactions. He is the author of a monograph on deductive systems for standard and non-standard hybrid logics. Between 2013 and 2017 he worked as a research fellow on the project Logics for Qualitative Reasoning under the supervision of Dr. Joanna Golińska-Pilarek.

Table of contents (18 chapters)

Table of contents (18 chapters)

Buy this book

eBook $119.00
price for USA in USD (gross)
  • ISBN 978-3-319-97879-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
  • ISBN 978-3-319-97878-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Ewa Orłowska on Relational Methods in Logic and Computer Science
Editors
  • Joanna Golińska-Pilarek
  • Michał Zawidzki
Series Title
Outstanding Contributions to Logic
Series Volume
17
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-319-97879-6
DOI
10.1007/978-3-319-97879-6
Hardcover ISBN
978-3-319-97878-9
Series ISSN
2211-2758
Edition Number
1
Number of Pages
XVIII, 502
Number of Illustrations
136 b/w illustrations, 7 illustrations in colour
Topics