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...
Uloženo v:
| Médium: | Elektronický zdroj E-kniha |
|---|---|
| Jazyk: | angličtina |
| Vydáno: |
Cham :
Springer International Publishing,
2018.
|
| Vydání: | 1st ed. 2018. |
| Edice: | Outstanding Contributions to Logic,
17 |
| Témata: | |
| ISBN: | 9783319978796 |
| ISSN: | 2211-2758 ; |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20220618120820.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 181208s2018 gw | s |||| 0|eng d | ||
| 020 | |a 9783319978796 | ||
| 024 | 7 | |a 10.1007/978-3-319-97879-6 |2 doi | |
| 035 | |a CVTIDW09152 | ||
| 040 | |a Springer-Nature |b eng |c CVTISR |e AACR2 | ||
| 041 | |a eng | ||
| 245 | 1 | 0 | |a Ewa Orłowska on Relational Methods in Logic and Computer Science |h [electronic resource] / |c edited by Joanna Golińska-Pilarek, Michał Zawidzki. |
| 250 | |a 1st ed. 2018. | ||
| 260 | 1 | |a Cham : |b Springer International Publishing, |c 2018. | |
| 300 | |a XVIII, 502 p. 143 illus., 7 illus. in color. |b online resource. | ||
| 490 | 1 | |a Outstanding Contributions to Logic, |x 2211-2758 ; |v 17 | |
| 500 | |a Religion and Philosophy | ||
| 505 | 0 | |a 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). | |
| 516 | |a text file PDF | ||
| 520 | |a 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. | ||
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Computer science-Mathematics. | |
| 650 | 0 | |a Computer mathematics. | |
| 650 | 0 | |a Computer logic. | |
| 856 | 4 | 0 | |u http://hanproxy.cvtisr.sk/han/cvti-ebook-springer-eisbn-978-3-319-97879-6 |y Vzdialený prístup pre registrovaných používateľov |
| 910 | |b ZE06432 | ||
| 919 | |a 978-3-319-97879-6 | ||
| 974 | |a andrea.lebedova |f Elektronické zdroje | ||
| 992 | |a SUD | ||
| 999 | |c 275753 |d 275753 | ||