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

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham : Springer International Publishing, 2018.
Ausgabe:1st ed. 2018.
Schriftenreihe:Outstanding Contributions to Logic, 17
Schlagworte:
Logic.
Mathematical logic.
Computer science-Mathematics.
Computer mathematics.
Computer logic.
ISBN:9783319978796
ISSN:2211-2758 ;
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Inhaltsangabe:
  • Chapter 1. Everything is a Relation: A Preview (Joanna Golińska-Pilarek)
  • Chapter 2. Autobiography (Ewa Orłowska)
  • Chapter 3. Engaged in Relations: A Trialogue (Ewa Orłowska)
  • Chapter 4. Bibliography of Ewa Orłowska (Joanna Golińska-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).

Ähnliche Einträge