Tous les ebooks de la collection "Outstanding Contributions to Logic" - Springer

27 Livre(s)


Ajouter à ma liste d'envies Peter Schroeder-Heister on Proof-Theoretic Semantics Thomas Piecha , Kai F. Wehmeier 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.... Editeur : Springer Parution : 2024-02-12 Collection : Outstanding Contributions to Logic PDF Gratuit
Ajouter à ma liste d'envies Kit Fine on Truthmakers, Relevance, and Non-classical Logic Federico L. G. Faroldi , Frederik Van De Putte 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,... Editeur : Springer Parution : 2023-11-25 Collection : Outstanding Contributions to Logic PDF, ePub 127,19 € PDF ePub
Ajouter à ma liste d'envies Samson Abramsky on Logic and Structure in Computer Science and Beyond Alessandra Palmigiano , Mehrnoosh Sadrzadeh 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... Editeur : Springer Parution : 2023-08-01 Collection : Outstanding Contributions to Logic PDF, ePub 169,59 € PDF ePub
Ajouter à ma liste d'envies V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics Alex Citkin , Ioannis M. Vandoulakis 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... Editeur : Springer Parution : 2022-11-08 Collection : Outstanding Contributions to Logic PDF, ePub 148,39 € PDF ePub
Ajouter à ma liste d'envies Hiroakira Ono on Substructural Logics Nikolaos Galatos , Kazushige Terui 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... Editeur : Springer Parution : 2021-12-13 Collection : Outstanding Contributions to Logic PDF, ePub 148,39 € PDF ePub
Ajouter à ma liste d'envies Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Ivo Düntsch , Edwin Mares 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,... Editeur : Springer Parution : 2021-09-24 Collection : Outstanding Contributions to Logic PDF, ePub 137,79 € PDF ePub
Ajouter à ma liste d'envies Arnon Avron on Semantics and Proof Theory of Non-Classical Logics Ofer Arieli , Anna Zamansky 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... Editeur : Springer Parution : 2021-07-30 Collection : Outstanding Contributions to Logic PDF, ePub 137,79 € PDF ePub
Ajouter à ma liste d'envies Hajnal Andréka and István Németi on Unity of Science Judit Madarász , Gergely Székely 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... Editeur : Springer Parution : 2021-05-31 Collection : Outstanding Contributions to Logic PDF, ePub 95,39 € PDF ePub
Ajouter à ma liste d'envies Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics Claudia Casadio , Philip J. Scott 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... Editeur : Springer Parution : 2021-03-20 Collection : Outstanding Contributions to Logic PDF 127,19 €
Ajouter à ma liste d'envies Graham Priest on Dialetheism and Paraconsistency Can Baskent , Thomas Macaulay Ferguson 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... Editeur : Springer Parution : 2020-01-01 Collection : Outstanding Contributions to Logic PDF, ePub 169,59 € PDF ePub
Ajouter à ma liste d'envies Ewa Orlowska on Relational Methods in Logic and Computer Science Joanna Golinska-Pilarek , Michal Zawidzki 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... Editeur : Springer Parution : 2018-12-08 Collection : Outstanding Contributions to Logic PDF, ePub 137,79 € PDF ePub
Ajouter à ma liste d'envies Hilary Putnam on Logic and Mathematics Roy T. Cook , Geoffrey Hellman This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics who have studied... Editeur : Springer Parution : 2018-12-06 Collection : Outstanding Contributions to Logic PDF, ePub 127,19 € PDF ePub
Ajouter à ma liste d'envies Feferman on Foundations Gerhard Jäger , Wilfried Sieg 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... Editeur : Springer Parution : 2018-04-04 Collection : Outstanding Contributions to Logic PDF 190,79 €
Ajouter à ma liste d'envies Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science Janusz Czelakowski 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... Editeur : Springer Parution : 2018-03-20 Collection : Outstanding Contributions to Logic PDF 90,09 €
Ajouter à ma liste d'envies Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Gabriel Sandu , Hans Van Ditmarsch This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community.This book, whose chapters have been... Editeur : Springer Parution : 2018-01-31 Collection : Outstanding Contributions to Logic PDF 158,99 €
Ajouter à ma liste d'envies Larisa Maksimova on Implication, Interpolation, and Definability Sergei Odintsov This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic... Editeur : Springer Parution : 2018-01-30 Collection : Outstanding Contributions to Logic PDF 52,99 €
Ajouter à ma liste d'envies Raymond Smullyan on Self Reference Melvin Fitting , Brian Rayman This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed... Editeur : Springer Parution : 2018-01-11 Collection : Outstanding Contributions to Logic PDF 105,99 €
Ajouter à ma liste d'envies Rohit Parikh on Logic, Language and Society Can Baskent , Lawrence S. Moss , Ramaswamy Ramanujam This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of... Editeur : Springer Parution : 2017-03-01 Collection : Outstanding Contributions to Logic PDF, ePub 105,99 € PDF ePub
Ajouter à ma liste d'envies Martin Davis on Computability, Computational Logic, and Mathematical Foundations Eugenio G. Omodeo , Alberto Policriti This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and... Editeur : Springer Parution : 2017-01-27 Collection : Outstanding Contributions to Logic PDF, ePub 95,39 € PDF ePub
Ajouter à ma liste d'envies J. Michael Dunn on Information Based Logics Katalin Bimbo This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information... Editeur : Springer Parution : 2016-04-02 Collection : Outstanding Contributions to Logic ePub 95,39 €
12 >

Les livres numériques peuvent être téléchargés depuis votre librairie numérique ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Compatible lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.