東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dick de jongh on intuitionistic and ...

Bezhanishvili, Nick.

FindBook

Google Book

Amazon

博客來

Dick de jongh on intuitionistic and provability logics

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Dick de jongh on intuitionistic and provability logics/ edited by Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang.
其他作者:	Bezhanishvili, Nick.
出版者:	Cham :Springer International Publishing : : 2024.,
面頁冊數:	x, 384 p. :ill. (some col.), digital ;24 cm.
內容註:	Chapter 1. Notes on my scientiﬁc life (Dick de Jongh) -- Chapter 2. Lewisian ﬁxed points I: Two incomparable constructions (Tadeusz Litak and Albert Visser) -- Chapter 3. An abstract look at the ﬁxed-point theorem for provability logic (Johan van Benthem) -- Chapter 4. The Σ1-provability logic of HA revisited (Mojtaba Mojtahedi) -- Chapter 5. An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Joost J. Joosten, Jan Mas Rovira, Luka Mikec, and Mladen Vuković) -- Chapter 6. Deciding dependence in logic and algebra (George Metcalfe and Naomi Tokuda) -- Chapter 7. About the uniﬁcation types of modal logics (Philippe Balbiani and Çiğdem Gencer) -- Chapter 8. Proof theory for lax logic (Rosalie Iemhoff) -- Chapter 9. Intermediate logics in the setting of team semantics (Nick Bezhanishvili and Fan Yang) -- Chapter 10. Well partial orders (Andreas Weiermann) -- Chapter 11. Learning to act and observe in partially observable domains (Thomas Bolander, Nina Gierasimczuk, and Andrés Occhipinti Liberman) -- Chapter 12. Axiomatizing origami planes (Lev Beklemishev, Anna Dmitrieva, and Johann A. Makowsky) -- Chapter 13. Bibliography of Dick de Jongh.
Contained By:	Springer Nature eBook
標題:	Logic. -
電子資源:	https://doi.org/10.1007/978-3-031-47921-2
ISBN:	9783031479212

Dick de jongh on intuitionistic and provability logics
Dick de jongh on intuitionistic and provability logics[electronic resource] /edited by Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang. - Cham :Springer International Publishing :2024. - x, 384 p. :ill. (some col.), digital ;24 cm. - Outstanding contributions to logic,v. 282211-2766 ;. - Outstanding contributions to logic ;v. 28..

Chapter 1. Notes on my scientiﬁc life (Dick de Jongh) -- Chapter 2. Lewisian ﬁxed points I: Two incomparable constructions (Tadeusz Litak and Albert Visser) -- Chapter 3. An abstract look at the ﬁxed-point theorem for provability logic (Johan van Benthem) -- Chapter 4. The Σ1-provability logic of HA revisited (Mojtaba Mojtahedi) -- Chapter 5. An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Joost J. Joosten, Jan Mas Rovira, Luka Mikec, and Mladen Vuković) -- Chapter 6. Deciding dependence in logic and algebra (George Metcalfe and Naomi Tokuda) -- Chapter 7. About the uniﬁcation types of modal logics (Philippe Balbiani and Çiğdem Gencer) -- Chapter 8. Proof theory for lax logic (Rosalie Iemhoff) -- Chapter 9. Intermediate logics in the setting of team semantics (Nick Bezhanishvili and Fan Yang) -- Chapter 10. Well partial orders (Andreas Weiermann) -- Chapter 11. Learning to act and observe in partially observable domains (Thomas Bolander, Nina Gierasimczuk, and Andrés Occhipinti Liberman) -- Chapter 12. Axiomatizing origami planes (Lev Beklemishev, Anna Dmitrieva, and Johann A. Makowsky) -- Chapter 13. Bibliography of Dick de Jongh.

This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh's original contributions and consequent developments that have helped to shape these fields. The book begins with an autobiographic note by Dick de Jongh, which discusses the main themes of his work and places the other contributions in context. The next four chapters explore the De Jongh-Sambin fixed point theorem and other contributions to provability and interpretability logics. The following four chapters focus on modal, intuitionistic and intuitionistic modal logics. They discuss independence of formulas, unification and de Jongh formulas in intuitionistic and modal logics. Then there follow two chapters on the other two areas to which Dick de Jongh made important contributions: the theory of well-partial orders, and formal learning theory. The second to last chapter on Origami Geometry can be seen as representing the Master of Logic program of the Institute for Logic, Language and Computation (ILLC) in which de Jongh invested a lot of energy. The book ends with a complete bibliography of Dick de Jongh in the last chapter. This volume provides a vital overview - and continuation of - de Jongh's prolfic work in the theory of intuitionistic and provability logics.

ISBN: 9783031479212

Standard No.: 10.1007/978-3-031-47921-2doiSubjects--Personal Names:

3723542
Jongh, Dick de.
Subjects--Topical Terms:

529544
Logic.

LC Class. No.: BC6

Dewey Class. No.: 160

Dick de jongh on intuitionistic and provability logics
LDR:03652nmm a2200337 a 4500 001 2374615
003 DE-He213
005 20240726095237.0
006 m d
007 cr nn 008maaau
008 241231s2024 sz s 0 eng d
020 $a 9783031479212 $q (electronic bk.)
020 $a 9783031479205 $q (paper)
024 7 $a 10.1007/978-3-031-47921-2 $2 doi
035 $a 978-3-031-47921-2
040 $a GP $c GP
041 0 $a eng
050 4 $a BC6
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
090 $a BC6 $b .D547 2024
245 0 0 $a Dick de jongh on intuitionistic and provability logics $h [electronic resource] / $c edited by Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2024.
300 $a x, 384 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Outstanding contributions to logic, $x 2211-2766 ; $v v. 28
505 0 $a Chapter 1. Notes on my scientiﬁc life (Dick de Jongh) -- Chapter 2. Lewisian ﬁxed points I: Two incomparable constructions (Tadeusz Litak and Albert Visser) -- Chapter 3. An abstract look at the ﬁxed-point theorem for provability logic (Johan van Benthem) -- Chapter 4. The Σ1-provability logic of HA revisited (Mojtaba Mojtahedi) -- Chapter 5. An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Joost J. Joosten, Jan Mas Rovira, Luka Mikec, and Mladen Vuković) -- Chapter 6. Deciding dependence in logic and algebra (George Metcalfe and Naomi Tokuda) -- Chapter 7. About the uniﬁcation types of modal logics (Philippe Balbiani and Çiğdem Gencer) -- Chapter 8. Proof theory for lax logic (Rosalie Iemhoff) -- Chapter 9. Intermediate logics in the setting of team semantics (Nick Bezhanishvili and Fan Yang) -- Chapter 10. Well partial orders (Andreas Weiermann) -- Chapter 11. Learning to act and observe in partially observable domains (Thomas Bolander, Nina Gierasimczuk, and Andrés Occhipinti Liberman) -- Chapter 12. Axiomatizing origami planes (Lev Beklemishev, Anna Dmitrieva, and Johann A. Makowsky) -- Chapter 13. Bibliography of Dick de Jongh.
520 $a This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh's original contributions and consequent developments that have helped to shape these fields. The book begins with an autobiographic note by Dick de Jongh, which discusses the main themes of his work and places the other contributions in context. The next four chapters explore the De Jongh-Sambin fixed point theorem and other contributions to provability and interpretability logics. The following four chapters focus on modal, intuitionistic and intuitionistic modal logics. They discuss independence of formulas, unification and de Jongh formulas in intuitionistic and modal logics. Then there follow two chapters on the other two areas to which Dick de Jongh made important contributions: the theory of well-partial orders, and formal learning theory. The second to last chapter on Origami Geometry can be seen as representing the Master of Logic program of the Institute for Logic, Language and Computation (ILLC) in which de Jongh invested a lot of energy. The book ends with a complete bibliography of Dick de Jongh in the last chapter. This volume provides a vital overview - and continuation of - de Jongh's prolfic work in the theory of intuitionistic and provability logics.
600 1 0 $a Jongh, Dick de. $3 3723542
650 0 $a Logic. $3 529544
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Mathematical Logic in Philosophy. $3 3602189
700 1 $a Bezhanishvili, Nick. $3 3723543
700 1 $a Iemhoff, Rosalie. $3 3411902
700 1 $a Yang, Fan. $3 1020735
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Outstanding contributions to logic ; $v v. 28. $3 3723544
856 4 0 $u https://doi.org/10.1007/978-3-031-47921-2
950 $a Religion and Philosophy (SpringerNature-41175)