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

Description

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. Front Matter ....Pages i-xviii Front Matter ....Pages 1-1 Everything is a Relation: A Preview (Joanna Golińska-Pilarek, Michał Zawidzki)....Pages 3-24 Autobiography (Ewa Orłowska)....Pages 25-49 Engaged in Relations: A Trialogue (Ewa Orłowska, Joanna Golińska-Pilarek, Michał Zawidzki)....Pages 51-81 Bibliography of Ewa Orłowska (Joanna Golińska-Pilarek, Michał Zawidzki)....Pages 83-102 Front Matter ....Pages 103-103 Tableaus and Dual Tableaus (Melvin Fitting)....Pages 105-128 Reasoning on Relations, Modalities, and Sets (Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti)....Pages 129-168 Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations (Domenico Cantone, Marianna Nicolosi-Asmundo)....Pages 169-202 Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility (Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego)....Pages 203-231 Signed Dual Tableaux for Kleene Answer Set Programs (Patrick Doherty, Andrzej Szałas)....Pages 233-252 Machine-Checked Meta-theory of Dual-Tableaux for Intuitionistic Logic (Jeremy E. Dawson, Rajeev Goré)....Pages 253-282 Modal Syllogistic (Tsvetan Vasilev, Dimiter Vakarelov)....Pages 283-312 Front Matter ....Pages 313-313 About the Complete Axiomatization of Dynamic Extensions of Arrow Logic (Philippe Balbiani)....Pages 315-330 Adaptive Rough Sets and Vague Concepts (Andrzej Skowron, Soma Dutta)....Pages 331-353 Guttman Algebras and a Model Checking Procedure for Guttman Scales (Ivo Düntsch, Günther Gediga)....Pages 355-370 A Reasoning System for Satisfiability of Diagrammatic Specifications (Yngve Lamo, Wendy MacCaull)....Pages 371-402 (Heterogeneous) Structured Specifications in Logics Without Interpolation (Carlos Gustavo Lopez Pombo, Marcelo Frias)....Pages 403-439 Reasoning About Reversal-Bounded Counter Machines (Stéphane Demri)....Pages 441-479 A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs (Claudette Cayrol, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex)....Pages 481-502