LEADER 04975nam  22006255  450 
001 9910303433303321
005 20200705141529.0
010   $a3-319-97879-9
024 7 $a10.1007/978-3-319-97879-6
035   $a(CKB)4100000007204785
035   $a(MiAaPQ)EBC5612037
035   $a(DE-He213)978-3-319-97879-6
035   $a(EXLCZ)994100000007204785
100   $a20181208d2018      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aEwa Or?owska on Relational Methods in Logic and Computer Science /$fedited by Joanna Goli?ska-Pilarek, Micha? Zawidzki
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (511 pages)
225 1 $aOutstanding Contributions to Logic,$x2211-2758 ;$v17
311   $a3-319-97878-0 
327   $aChapter 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 Satis?ability of Diagrammatic Speci?cations (Yngve Lamo) -- Chapter 16. (Heterogeneous) Structured Speci?cations 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).
330   $aThis 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.
410  0$aOutstanding Contributions to Logic,$x2211-2758 ;$v17
606   $aLogic
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aComputer mathematics
606   $aComputer logic
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMathematical Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/M13110
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aLogic.
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615  0$aComputer mathematics.
615  0$aComputer logic.
615 14$aLogic.
615 24$aMathematical Logic and Formal Languages.
615 24$aMathematical Applications in Computer Science.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Foundations.
676   $a004
702   $aGoli?ska-Pilarek$b Joanna$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZawidzki$b Micha?$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910303433303321
996   $aEwa Or?owska on Relational Methods in Logic and Computer Science$92261636
997   $aUNINA