語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Ewa Orłowska on Relational Methods i...
~
Zawidzki, Michał.
Ewa Orłowska on Relational Methods in Logic and Computer Science
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Ewa Orłowska on Relational Methods in Logic and Computer Science/ edited by Joanna Golińska-Pilarek, Michał Zawidzki.
其他作者:
Golińska-Pilarek, Joanna.
面頁冊數:
XVIII, 502 p. 143 illus., 7 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Logic. -
電子資源:
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 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).
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 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).
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)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入