Ewa Orlowska on Relational Methods in Logic and Computer Science
(Sprache: Englisch)
This book is a tribute to Professor Ewa Orlowska, 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....
Jetzt vorbestellen
versandkostenfrei
Buch (Gebunden)
153.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Ewa Orlowska on Relational Methods in Logic and Computer Science “
Klappentext zu „Ewa Orlowska on Relational Methods in Logic and Computer Science “
This book is a tribute to Professor Ewa Orlowska, 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. Orlowska 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. Orlowska'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. Orlowska's work.
Inhaltsverzeichnis zu „Ewa Orlowska on Relational Methods in Logic and Computer Science “
Chapter 1. Everything is a Relation: A Preview (Joanna Golinska-Pilarek).- Chapter 2. Autobiography (Ewa Orlowska).- Chapter 3. Engaged in Relations: A Trialogue (Ewa Orlowska).- Chapter 4. Bibliography of Ewa Orlowska (Joanna Golinska-Pilarek).- Chapter 5. Tableaus and Dual Tableaus (Melvin Fitting).- Chapter 6. Reasoning on Relations, Modalities, and Sets (Andrea Formisano). Chapter 7. Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations (Domenico Cantone).- Chapter 8. Logics for Order-of-magnitude Qualitative Reasoning: Formalizing Negligibility (Alfredo Burrieza).- Chapter 9. Signed Dual Tableaux for Kleene Answer Set Programs (Patrick Doherty).- Chapter 10. Machine-checked Meta-theory of Dual-Tableaux for Intuitionistic Logic (Jeremy E. Dawson).- Chapter 11. Modal Syllogistic (Tsvetan Vasilev).- Chapter 12. About the Complete Axiomatization of Dynamic Extensions of Arrow Logic (Philippe Balbiani).- Chapter 13. Adaptive Rough Sets and Vague Concepts (Andrzej Skowron).- Chapter 14. Guttman Algebras and a Model Checking Procedure for Guttman Scales (Ivo Düntsch).- Chapter 15. A Reasoning System for Satisfiability of Diagrammatic Specifications (Yngve Lamo).- Chapter 16. (Heterogeneous) Structured Specifications in Logics Without Interpolation (Carlos G. Lopez Pombo).- Chapter 17. Reasoning About Reversal-Bounded Counter Machines (Stéphane Demri).- Chapter 18. A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs (Claudette Cayrol).Autoren-Porträt
Joanna Golinska-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).Michal Zawidzki is an assistant professor at the Department of Logic and Methodology of Science, University of Lódz. He obtained his PhD from theUniversity of Lódz 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 Golinska-Pilarek.
Bibliographische Angaben
- 2018, 1st ed. 2018, 502 Seiten, 7 farbige Abbildungen, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Herausgegeben: Joanna Golinska-Pilarek, Michal Zawidzki
- Verlag: Springer, Berlin
- ISBN-10: 3319978780
- ISBN-13: 9783319978789
- Erscheinungsdatum: 20.12.2018
Sprache:
Englisch
Pressezitat
"This book pays tribute to Ewa Orlowska-an esteemed colleague. It is highly recommended reading for anyone interested inEwa Orlowska's research and scientific contributions, her scientific journey, the many cooperations she initiated with researchers in Poland and beyond, as well as recent developments her work has inspired." (I. Rewitzky, Studia Logica, Vol. 109, 2021)"This book serves as a reminder that sometimes our discarded grand traditions are indeed still grand." (Bruce Abramson, Computing Reviews, September 03, 2019)
Kommentar zu "Ewa Orlowska on Relational Methods in Logic and Computer Science"
Schreiben Sie einen Kommentar zu "Ewa Orlowska on Relational Methods in Logic and Computer Science".
Kommentar verfassen