國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Ewa Orłowska on Relational Methods in Logic and Computer Science/ edited by Joanna Golińska-Pilarek, Michał Zawidzki.
other author:	Golińska-Pilarek, Joanna.
Description:	XVIII, 502 p. 143 illus., 7 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Logic. -
Online resource:	https://doi.org/10.1007/978-3-319-97879-6
ISBN:	9783319978796

Ewa Orłowska on Relational Methods in Logic and Computer Science
Ewa Orłowska on Relational Methods in Logic and Computer Science[electronic resource] /edited by Joanna Golińska-Pilarek, Michał Zawidzki. - 1st ed. 2018. - XVIII, 502 p. 143 illus., 7 illus. in color.online resource. - Outstanding Contributions to Logic,172211-2758 ;. - Outstanding Contributions to Logic,7.

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

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.

ISBN: 9783319978796

Standard No.: 10.1007/978-3-319-97879-6doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Ewa Orłowska on Relational Methods in Logic and Computer Science
LDR:03816nam a22003975i 4500 001 989491
003 DE-He213
005 20200705141529.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319978796 $9 978-3-319-97879-6
024 7 $a 10.1007/978-3-319-97879-6 $2 doi
035 $a 978-3-319-97879-6
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
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.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XVIII, 502 p. 143 illus., 7 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Outstanding Contributions to Logic, $x 2211-2758 ; $v 17
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 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).
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. $3 558909
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Computer mathematics. $3 1199796
650 0 $a Computer logic. $3 786340
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Mathematical Applications in Computer Science. $3 815331
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Mathematical Logic and Foundations. $3 669393
700 1 $a Golińska-Pilarek, Joanna. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1281353
700 1 $a Zawidzki, Michał. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1281354
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319978789
776 0 8 $i Printed edition: $z 9783319978802
830 0 $a Outstanding Contributions to Logic, $x 2211-2758 ; $v 7 $3 1253494
856 4 0 $u https://doi.org/10.1007/978-3-319-97879-6
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)