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

  • Joanna Golińska-Pilarek
  • Michał Zawidzki

Part of the Outstanding Contributions to Logic book series (OCTR, volume 17)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Life and Work of Ewa Orłowska

    1. Front Matter
      Pages 1-1
    2. Joanna Golińska-Pilarek, Michał Zawidzki
      Pages 3-24
    3. Ewa Orłowska
      Pages 25-49
    4. Ewa Orłowska, Joanna Golińska-Pilarek, Michał Zawidzki
      Pages 51-81
    5. Joanna Golińska-Pilarek, Michał Zawidzki
      Pages 83-102
  3. Deduction and Relational Semantics

    1. Front Matter
      Pages 103-103
    2. Melvin Fitting
      Pages 105-128
    3. Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
      Pages 129-168
    4. Domenico Cantone, Marianna Nicolosi-Asmundo
      Pages 169-202
    5. Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
      Pages 203-231
    6. Patrick Doherty, Andrzej Szałas
      Pages 233-252
    7. Jeremy E. Dawson, Rajeev Goré
      Pages 253-282
    8. Tsvetan Vasilev, Dimiter Vakarelov
      Pages 283-312
  4. Formal Methods in Knowledge Representation and Reasoning

    1. Front Matter
      Pages 313-313
    2. Andrzej Skowron, Soma Dutta
      Pages 331-353
    3. Ivo Düntsch, Günther Gediga
      Pages 355-370
    4. Carlos Gustavo Lopez Pombo, Marcelo Frias
      Pages 403-439
    5. Claudette Cayrol, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
      Pages 481-502

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.


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

Editors and affiliations

  • Joanna Golińska-Pilarek
    • 1
  • Michał Zawidzki
    • 2
  1. 1.Institute of PhilosophyUniversity of WarsawWarsawPoland
  2. 2.Department of Logic and Methodology of ScienceUniversity of LodzŁódźPoland

Bibliographic information