Tous les livres numériques de la collection "Outstanding Contributions to Logic" - Springer

20 Livre(s)


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 147,69 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
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,14 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
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 94,94 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
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 168,79 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
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,14 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
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 126,59 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
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 189,89 € J'achète Téléchargement immédiat Dès validation de votre commande
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 89,66 € J'achète Téléchargement immédiat Dès validation de votre commande
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,24 € J'achète Téléchargement immédiat Dès validation de votre commande
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,74 € J'achète Téléchargement immédiat Dès validation de votre commande
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,49 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
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 94,94 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande
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 94,94 € J'achète Téléchargement immédiat Dès validation de votre commande
Dag Prawitz on Proofs and Meaning Heinrich Wansing This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been... Editeur : Springer Parution : 2014-11-27 Collection : Outstanding Contributions to Logic ePub 94,94 € J'achète Téléchargement immédiat Dès validation de votre commande
Petr Hájek on Mathematical Fuzzy Logic Franco Montagna This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on Hájek's contribution to mathematical fuzzy logic and with a... Editeur : Springer Parution : 2014-09-23 Collection : Outstanding Contributions to Logic ePub 94,94 € J'achète Téléchargement immédiat Dès validation de votre commande
Johan van Benthem on Logic and Information Dynamics Alexandru Baltag , Sonja Smets This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself.... Editeur : Springer Parution : 2014-08-27 Collection : Outstanding Contributions to Logic ePub 210,99 € J'achète Téléchargement immédiat Dès validation de votre commande
Leo Esakia on Duality in Modal and Intuitionistic Logics Guram Bezhanishvili This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape... Editeur : Springer Parution : 2014-06-03 Collection : Outstanding Contributions to Logic ePub 94,94 € J'achète Téléchargement immédiat Dès validation de votre commande
Nuel Belnap on Indeterminism and Free Action Thomas Müller This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American... Editeur : Springer Parution : 2014-03-21 Collection : Outstanding Contributions to Logic PDF, ePub Gratuit PDF ePub Télécharger Téléchargement immédiat Dès validation de votre commande
David Makinson on Classical Methods for Non-Classical Problems Sven Ove Hansson The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas.The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his... Editeur : Springer Parution : 2013-12-20 Collection : Outstanding Contributions to Logic ePub 147,69 € J'achète Téléchargement immédiat Dès validation de votre commande
Krister Segerberg on Logic of Actions Robert Trypuz This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of... Editeur : Springer Parution : 2013-10-22 Collection : Outstanding Contributions to Logic ePub 94,94 € J'achète Téléchargement immédiat Dès validation de votre commande

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	Application
Ordinateur	-EPUB -PDF	Adobe Digital Editions
Tablette et Smartphone Android	-EPUB -PDF	Adobe Digital Editions pour Android
iPad	-EPUB -PDF	Adobe Digital Editions pour Apple
iPhone	-EPUB	Adobe Digital Editions pour Apple
Liseuse	-EPUB	Module de lecture de la liseuse

Consultez l’aide pour en savoir plus.

Catalogue

Tous les livres numériques de la collection "Outstanding Contributions to Logic" - Springer