Outstanding Contributions to Logic – serie
Visar alla böcker i serien Outstanding Contributions to Logic. Handla med fri frakt och snabb leverans.
61 produkter
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Häftad, 2019
934 kr
Lägg i varukorg
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers …
Feferman on Foundations
Logic, Mathematics, Philosophy
Av Gerhard Jäger, Wilfried Sieg
Häftad, 2018
2188 kr
Lägg i varukorg
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical …
Graham Priest on Dialetheism and Paraconsistency
Av Can Başkent, Thomas Macaulay Ferguson
Inbunden, 2020
1861 kr
Lägg i varukorg
This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has had a considerable influence …
Graham Priest on Dialetheism and Paraconsistency
Av Can Başkent, Thomas Macaulay Ferguson
Häftad, 2021
1861 kr
Lägg i varukorg
This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has had a considerable influence …
Hajnal Andréka and István Németi on Unity of Science
From Computing to Relativity Theory Through Algebraic Logic
Av Judit Madarász, Gergely Székely
Inbunden, 2021
1098 kr
Lägg i varukorg
This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also …
Hajnal Andréka and István Németi on Unity of Science
From Computing to Relativity Theory Through Algebraic Logic
Av Judit Madarász, Gergely Székely
Häftad, 2022
1098 kr
Lägg i varukorg
This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also …
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Av Claudia Casadio, Philip J. Scott
Inbunden, 2021
1425 kr
Lägg i varukorg
This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the …
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Av Claudia Casadio, Philip J. Scott
Häftad, 2022
1425 kr
Lägg i varukorg
This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the …
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Inbunden, 2021
1534 kr
Lägg i varukorg
This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. …
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Häftad, 2022
1534 kr
Lägg i varukorg
This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. …
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Inbunden, 2021
1534 kr
Lägg i varukorg
This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of …
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Häftad, 2022
1534 kr
Lägg i varukorg
This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of …
Hiroakira Ono on Substructural Logics
Av Nikolaos Galatos, Kazushige Terui
Inbunden, 2021
1643 kr
Lägg i varukorg
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with …
Hiroakira Ono on Substructural Logics
Av Nikolaos Galatos, Kazushige Terui
Häftad, 2022
1643 kr
Lägg i varukorg
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with …
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Av Alex Citkin, Ioannis M. Vandoulakis
Inbunden, 2022
1534 kr
Lägg i varukorg
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic.The papers contributed …
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
Av Alex Citkin, Ioannis M. Vandoulakis
Häftad, 2023
1534 kr
Lägg i varukorg
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic.The papers contributed …
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Av Alessandra Palmigiano, Mehrnoosh Sadrzadeh
2023
2323 kr
Lägg i varukorg
Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new results, organised around six …
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Av Alessandra Palmigiano, Mehrnoosh Sadrzadeh
2024
2323 kr
Lägg i varukorg
Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new results, organised around six …
Kit Fine on Truthmakers, Relevance, and Non-classical Logic
Av Federico L. G. Faroldi, Frederik Van De Putte
Inbunden, 2023
1534 kr
Lägg i varukorg
This book explores some of Kit Fine's outstanding contributions to logic, philosophy of language, philosophy of mathematics, and metaphysics, among others.Contributing authors address in-depth issues about truthmaker semantics, counterfactual conditionals, grounding, vagueness, non-classical …
Kit Fine on Truthmakers, Relevance, and Non-classical Logic
Av Federico L. G. Faroldi, Frederik Van De Putte
Häftad, 2024
1534 kr
Lägg i varukorg
This book explores some of Kit Fine's outstanding contributions to logic, philosophy of language, philosophy of mathematics, and metaphysics, among others.Contributing authors address in-depth issues about truthmaker semantics, counterfactual conditionals, grounding, vagueness, non-classical …
Janusz Czelakowski on Logical Consequence
Av Jacek Malinowski, Rafał Palczewski
Inbunden, 2024
1425 kr
Lägg i varukorg
This book is dedicated to the life and work of logician Janusz Czelakowski on the topic of logical consequence. It consists of three parts – a biography, a survey and research sections. The volume begins with an autobiographic chapter by Janusz Czelakowski followed by a historical chapter written …
Janusz Czelakowski on Logical Consequence
Av Jacek Malinowski, Rafał Palczewski
Häftad, 2025
1425 kr
Lägg i varukorg
This book is dedicated to the life and work of logician Janusz Czelakowski on the topic of logical consequence. It consists of three parts – a biography, a survey and research sections. The volume begins with an autobiographic chapter by Janusz Czelakowski followed by a historical chapter written …
Dick de Jongh on Intuitionistic and Provability Logics
Av Nick Bezhanishvili, Rosalie Iemhoff m. fl.
Inbunden, 2024
1534 kr
Lägg i varukorg
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 …
Dick de Jongh on Intuitionistic and Provability Logics
Av Nick Bezhanishvili, Rosalie Iemhoff m. fl.
Häftad, 2025
1534 kr
Lägg i varukorg
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 …
Peter Schroeder-Heister on Proof-Theoretic Semantics
Av Thomas Piecha, Kai F. Wehmeier
Inbunden, 2024
551 kr
Lägg i varukorg
This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter …
Peter Schroeder-Heister on Proof-Theoretic Semantics
Av Thomas Piecha, Kai F. Wehmeier
Häftad, 2024
442 kr
Lägg i varukorg
This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter …
Saul Kripke on Modal Logic
Inbunden, 2024
1752 kr
Lägg i varukorg
This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke’s singular contributions to modal logic. Kripke’s work on modal logic helped usher in a new semantic epoch for the field and made facility with modal logic indispensable not only to technically …
Saul Kripke on Modal Logic
Häftad, 2025
1752 kr
Lägg i varukorg
This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke’s singular contributions to modal logic. Kripke’s work on modal logic helped usher in a new semantic epoch for the field and made facility with modal logic indispensable not only to technically …
Philosophy of Penelope Maddy
Av Sophia Arbeiter, Juliette Kennedy
Inbunden, 2024
1534 kr
Lägg i varukorg
This volume features more than 20 essays that explore the work of one of the most important contemporary philosophers of mathematics. It will help readers to better appreciate this significant and prolific philosopher. Within philosophy of mathematics, Penelope Maddy initially advocated realism. …
Philosophy of Penelope Maddy
Av Sophia Arbeiter, Juliette Kennedy
Häftad, 2025
1534 kr
Lägg i varukorg
This volume features more than 20 essays that explore the work of one of the most important contemporary philosophers of mathematics. It will help readers to better appreciate this significant and prolific philosopher. Within philosophy of mathematics, Penelope Maddy initially advocated realism. …
