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

Beschreibung

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.
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.
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

Autor*in

Joanna Golińska-Pilarek

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

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

Stimmen zu »Ewa Orłowska on Relational Methods in Logic and Computer Science«

“This book pays tribute to Ewa Orłowska—an esteemed colleague. It is highly recommended reading for anyone interested inEwa Orłowska’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)

Details

Link teilen