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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Golińska-Pilarek, Joanna (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zawidzki, Michał (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Outstanding Contributions to Logic, 17
• Θέματα: Logic.; Mathematical logic.; Computer science-Mathematics.; Computer mathematics.; Computer logic.; Mathematical Logic and Formal Languages.; Mathematical Applications in Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Foundations.

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

Πίνακας περιεχομένων:

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