Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Ewa Orlowska on relational methods i...
~
Golinska-Pilarek, Joanna.
Ewa Orlowska on relational methods in logic and computer science
Record Type:
Electronic resources : Monograph/item
Title/Author:
Ewa Orlowska on relational methods in logic and computer scienceedited by Joanna Golinska-Pilarek, Michal Zawidzki.
other author:
Golinska-Pilarek, Joanna.
Published:
Cham :Springer International Publishing :2018.
Description:
xviii, 502 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Computer science.
Online resource:
https://doi.org/10.1007/978-3-319-97879-6
ISBN:
9783319978796$q(electronic bk.)
Ewa Orlowska on relational methods in logic and computer science
Ewa Orlowska on relational methods in logic and computer science
[electronic resource] /edited by Joanna Golinska-Pilarek, Michal Zawidzki. - Cham :Springer International Publishing :2018. - xviii, 502 p. :ill., digital ;24 cm. - Outstanding contributions to logic,v.172211-2758 ;. - Outstanding contributions to logic ;v.3..
Chapter 1. Everything is a Relation: A Preview (Joanna Golinska-Pilarek) -- Chapter 2. Autobiography (Ewa Orlowska) -- Chapter 3. Engaged in Relations: A Trialogue (Ewa Orlowska) -- Chapter 4. Bibliography of Ewa Orlowska (Joanna Golinska-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 Duntsch) -- 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 (Stephane Demri) -- Chapter 18. A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs (Claudette Cayrol)
This book is a tribute to Professor Ewa Orlowska, 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. Orlowska 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. Orlowska'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. Orlowska's work.
ISBN: 9783319978796$q(electronic bk.)
Standard No.: 10.1007/978-3-319-97879-6doiSubjects--Topical Terms:
199325
Computer science.
LC Class. No.: QA76 / .E936 2018
Dewey Class. No.: 004
Ewa Orlowska on relational methods in logic and computer science
LDR
:03453nmm a2200337 a 4500
001
546956
003
DE-He213
005
20190514154738.0
006
m d
007
cr nn 008maaau
008
190627s2018 gw s 0 eng d
020
$a
9783319978796$q(electronic bk.)
020
$a
9783319978789$q(paper)
024
7
$a
10.1007/978-3-319-97879-6
$2
doi
035
$a
978-3-319-97879-6
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76
$b
.E936 2018
072
7
$a
HPL
$2
bicssc
072
7
$a
PHI011000
$2
bisacsh
072
7
$a
QDTL
$2
thema
082
0 4
$a
004
$2
23
090
$a
QA76
$b
.E94 2018
245
0 0
$a
Ewa Orlowska on relational methods in logic and computer science
$h
[electronic resource] /
$c
edited by Joanna Golinska-Pilarek, Michal Zawidzki.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2018.
300
$a
xviii, 502 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Outstanding contributions to logic,
$x
2211-2758 ;
$v
v.17
505
0
$a
Chapter 1. Everything is a Relation: A Preview (Joanna Golinska-Pilarek) -- Chapter 2. Autobiography (Ewa Orlowska) -- Chapter 3. Engaged in Relations: A Trialogue (Ewa Orlowska) -- Chapter 4. Bibliography of Ewa Orlowska (Joanna Golinska-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 Duntsch) -- 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 (Stephane 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 Orlowska, 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. Orlowska 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. Orlowska'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. Orlowska's work.
650
0
$a
Computer science.
$3
199325
650
0
$a
Logic, Symbolic and mathematical.
$3
180452
650
1 4
$a
Logic.
$3
180785
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Mathematical Applications in Computer Science.
$3
530811
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Mathematical Logic and Foundations.
$3
274479
700
1
$a
Golinska-Pilarek, Joanna.
$3
826077
700
1
$a
Zawidzki, Michal.
$3
826078
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Outstanding contributions to logic ;
$v
v.3.
$3
678078
856
4 0
$u
https://doi.org/10.1007/978-3-319-97879-6
950
$a
Religion and Philosophy (Springer-41175)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000163323
電子館藏
1圖書
電子書
EB QA76 .E94 2018 2018
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-319-97879-6
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login