國立虎尾科技大學 |

Dick de jongh on intuitionistic and provability logics

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Dick de jongh on intuitionistic and provability logics/ edited by Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang.
other author:	Bezhanishvili, Nick.
Published:	Cham :Springer International Publishing : : 2024.,
Description:	x, 384 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
Subject:	Logic. -
Online resource:	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 ;3..

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:

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

558909
Logic.

LC Class. No.: BC6

Dewey Class. No.: 160

Dick de jongh on intuitionistic and provability logics
LDR:03652nam a2200337 a 4500 001 1134447
003 DE-He213
005 20240726095237.0
006 m d
007 cr nn 008maaau
008 241213s2024 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 : $c 2024. $b Springer International Publishing : $b Imprint: Springer,
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 1455881
650 0 $a Logic. $3 558909
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Mathematical Logic in Philosophy. $3 1394243
700 1 $a Bezhanishvili, Nick. $3 786311
700 1 $a Iemhoff, Rosalie. $3 1228049
700 1 $a Yang, Fan. $3 891977
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Outstanding contributions to logic ; $v 3. $3 985240
856 4 0 $u https://doi.org/10.1007/978-3-031-47921-2
950 $a Religion and Philosophy (SpringerNature-41175)