Sign-In
Cart
Dick de Jongh on Intuitionistic and Provability Logics
Hardcover
Series: Outstanding Contributions to Logic, Book 28
ISBN13: 9783031479205
Publisher: Springer
Published: Jul 26 2024
Pages: 384
Weight: 1.61
Height: 0.88 Width: 6.14 Depth: 9.21
Language: English
This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics. Consisting of 12 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, together with Rohit Parikh, and formal learning theory. The 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. This volume provides a vital overview - and continuation of - de Jongh's prolfic work in the theory of intuitionistic and provability logics.
Also in
Logic
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
The Thinking Toolbox: Thirty-Five Lessons That Will Build Your Reasoning Skills
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
Walden - On Walden Pond - Life in the Woods - The Transcendentalist Masterpiece
Thoreau, Henry David
Paperback
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends
Carley, Shane
Hardcover
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
Frege, Gottlob
Paperback
The Art of Logical Thinking: Inductive, Deductive and Hypothetical Reasoning and the Use of Syllogisms and Fallacies
Atkinson, William Walker
Paperback
Socratic Logic: Edition 3.1: A Logic Text Using Socratic Method, Platonic Questions, & Aristotelian Principles
Kreeft, Peter
Hardcover
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Hardcover
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Paperback
Good Reasoning Matters!: A Guide to Critical Thinking in a Digital Age, Sixth Edition
Groarke, Leo
Carozza, Linda
Tindale, Christopher W.
Paperback
The Power of Critical Thinking: Effective Reasoning about Ordinary and Extraordinary Claims
Vaughn, Lewis
Paperback
Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language
Gula, Robert J.
Paperback
The Duck That Won the Lottery: 100 New Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
Deleuze's Philosophy of Time and Logic: Kant, Bergson, and the Labyrinth of the Continuum
Paetsch, Charles John
Hardcover
Swirling Symmetry: Thoughts and Images on Mathematics, Motion & Pattern
Coleman, Sandra DeLozier
Hardcover
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Beesley, Paula
Cooke, Belinda
Morris, Laurence
Paperback
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Beesley, Paula
Cooke, Belinda
Morris, Laurence
Hardcover
Master Your Mind: Critical-Thinking Exercises and Activities to Boost Brain Power and Think Smarter
Danesi, Marcel
Paperback
Gateway to the Stoics: Marcus Aurelius's Meditations, Epictetus's Enchiridion, and Selections from Seneca's Letters
Epictetus
Seneca
Aurelius, Marcus
Paperback
With All Your Mind: A Course on Logic and Argument for the Christian Classroom
Finkbeiner, Brad Paul
Paperback
Tractatus Logico-Philosophicus (Chiron Academic Press - The Original Authoritative Edition)
Wittgenstein, Ludwig
Paperback
How to Think about the Great Ideas: From the Great Books of Western Civilization
Adler, Mortimer
Paperback
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Paperback
Critical Thinking: Tools for Taking Charge of Your Professional and Personal Life
Elder, Linda
Paul, Richard
Hardcover
The Theory of Moral Sentiments (Royal Collector's Edition) (Case Laminate Hardcover with Jacket)
Smith, Adam
Hardcover
One: Being an Investigation Into the Unity of Reality and of Its Parts, Including the Singular Object Which Is Nothingness
Priest, Graham
Hardcover
Critical Reasoning: A Romp through the Foothills of Logic for the Complete Beginner
Talbot, Marianne
Paperback
Autonomy, Consciousness, and Personhood: A Primer for the Public Dialogue on Abortion
Bujno, Stephen
Hardcover
Playing God with Emerging Technologies: How to Avoid the Traps of Techno-Optimism and Techno-Pessimism
Mizrahi, Moti
Hardcover
Stoic Quotes: 365 Daily Reflections & Thoughts of Wisdom to Strengthen your Perspective.
Harris, Tate
Paperback
Autonomy, Consciousness, and Personhood: A Primer for the Public Dialogue on Abortion
Bujno, Stephen
Paperback