Overview
- Is the first book to provide a comprehensive presentation of Ewa Orlowska’s contributions to logic
- Offers a review of the applications of relational methods in logic and computer science
- Includes an interview with Prof. Orlowska, as well as an autobiography and bibliography
Part of the book series: Outstanding Contributions to Logic (OCTR, volume 17)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 chapters)
-
Front Matter
-
Life and Work of Ewa Orłowska
-
Front Matter
-
-
Deduction and Relational Semantics
-
Front Matter
-
-
Formal Methods in Knowledge Representation and Reasoning
-
Front Matter
-
Keywords
- Ewa Orłowska on Logic
- Relational Methods in Logic
- Relational Methods in Computer Science
- Logics for Knowledge Representation
- Logics for Reasoning Under Uncertainty
- Algebraic Methods in Logic
- Proof Systems for Non-Classical Logics
- Tableau and Dual Tableau Systems
- Relational Decision Procedures
- Logics for Qualitative Reasoning
- Ewa Orłowska Computer Science
- Ewa Orłowska Knoweldge Representation
- Ewa Orłowska Reasoning Under Uncertainty
- Ewa Orłowska Algebraic Methods
- Ewa Orłowska Proof Systems
- Ewa Orłowska Non-classical Logics
- Ewa Orłowska Dual Tableau Systems
- Ewa Orłowska Tableau Systems
- Ewa Orłowska Qualitative Reasoning
About this book
Reviews
“This book serves as a reminder that sometimes our discarded grand traditions are indeed still grand.” (Bruce Abramson, Computing Reviews, September 03, 2019)
Editors and Affiliations
About the editors
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 theUniversity 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.
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
DOI: https://doi.org/10.1007/978-3-319-97879-6
Publisher: Springer Cham
eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Hardcover ISBN: 978-3-319-97878-9Published: 20 December 2018
eBook ISBN: 978-3-319-97879-6Published: 08 December 2018
Series ISSN: 2211-2758
Series E-ISSN: 2211-2766
Edition Number: 1
Number of Pages: XVIII, 502
Number of Illustrations: 136 b/w illustrations, 7 illustrations in colour
Topics: Logic, Mathematical Logic and Formal Languages, Mathematical Applications in Computer Science, Logics and Meanings of Programs, Mathematical Logic and Foundations