Ewa Orłowska on Relational Methods in Logic and Computer Science (eBook)
XVIII, 502 Seiten
Springer International Publishing (Verlag)
978-3-319-97879-6 (ISBN)
Joanna Goli?ska-Pilarek is an assistant professor at the Institute of Philosophy, University of Warsaw. Her research interests are focused on logic and its applications, in particular in philosophy, mathematics, cognitive and computer sciences. Recently, she has been working on logics for qualitative reasoning and their (relational) dual tableaux, non-Fregean logics with identity and equimeaning connectives. She has published in the leading international journals in the field (Annals of Pure and Applied Logic, Logic Journal of IGPL, Fuzzy Sets and Systems, Studia Logica, Mathematical Logic Quarterly, Journal of Philosophical Logic, Notre Dame Journal of Formal Logic). She has also co-authored a comprehensive survey monograph, Dual Tableaux: Foundations, Methodology, Case Studies, published by Springer (2011).
Micha? Zawidzki is an assistant professor at the Department of Logic and Methodology of Science, University of ?ód?. He obtained his PhD from the University of ?ód? in 2013. His research interests are in the fields of modal logics, hybrid logics, decidability, and computational complexity of non-classical logics, tableau calculi, and applications of logics in modeling human interactions. He is the author of a monograph on deductive systems for standard and non-standard hybrid logics. Between 2013 and 2017 he worked as a research fellow on the project Logics for Qualitative Reasoning under the supervision of Dr. Joanna Goli?ska-Pilarek.
Joanna Golińska-Pilarek is an assistant professor at the Institute of Philosophy, University of Warsaw. Her research interests are focused on logic and its applications, in particular in philosophy, mathematics, cognitive and computer sciences. Recently, she has been working on logics for qualitative reasoning and their (relational) dual tableaux, non-Fregean logics with identity and equimeaning connectives. She has published in the leading international journals in the field (Annals of Pure and Applied Logic, Logic Journal of IGPL, Fuzzy Sets and Systems, Studia Logica, Mathematical Logic Quarterly, Journal of Philosophical Logic, Notre Dame Journal of Formal Logic). She has also co-authored a comprehensive survey monograph, Dual Tableaux: Foundations, Methodology, Case Studies, published by Springer (2011). Michał Zawidzki is an assistant professor at the Department of Logic and Methodology of Science, University of Łódź. He obtained his PhD from the University of Łódź in 2013. His research interests are in the fields of modal logics, hybrid logics, decidability, and computational complexity of non-classical logics, tableau calculi, and applications of logics in modeling human interactions. He is the author of a monograph on deductive systems for standard and non-standard hybrid logics. Between 2013 and 2017 he worked as a research fellow on the project Logics for Qualitative Reasoning under the supervision of Dr. Joanna Golińska-Pilarek.
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).
Erscheint lt. Verlag | 8.12.2018 |
---|---|
Reihe/Serie | Outstanding Contributions to Logic |
Zusatzinfo | XVIII, 502 p. 143 illus., 7 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge | |
Mathematik / Informatik ► Mathematik | |
Schlagworte | Algebraic Methods in Logic • Ewa Orłowska Algebraic Methods • Ewa Orłowska Computer Science • Ewa Orłowska Dual Tableau Systems • Ewa Orłowska Knoweldge Representation • Ewa Orłowska Non-classical Logics • Ewa Orłowska on Logic • Ewa Orłowska Proof Systems • Ewa Orłowska Qualitative Reasoning • Ewa Orłowska Reasoning Under Uncertainty • Ewa Orłowska Tableau Systems • Logics for Knowledge Representation • Logics for Qualitative Reasoning • Logics for Reasoning Under Uncertainty • Proof Systems for Non-Classical Logics • Relational Decision Procedures • Relational Methods in Computer Science • Relational Methods in Logic • Tableau and Dual Tableau Systems |
ISBN-10 | 3-319-97879-9 / 3319978799 |
ISBN-13 | 978-3-319-97879-6 / 9783319978796 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 7,4 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich