Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.
Télécharger le livre :  Handbook of Philosophical Logic

This eighteenth volume of the acclaimed Handbook of Philosophical Logic includes many contributors who are among the most famous leading figures of applied philosophical logic of our time. Coverage includes deontic logic, practical reasoning, homogeneous and...
Editeur : Springer
Parution : 2018-10-19
Collection : Handbook of Philosophical Logic
Format(s) : PDF
94,94

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  A New Perspective on Nonmonotonic Logics

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core...
Editeur : Springer
Parution : 2016-11-05

Format(s) : PDF, ePub
94,94

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Computational Logic

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic...
Editeur : North Holland
Parution : 2014-12-09

Format(s) : PDF sans DRM
216,27

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Handbook of Philosophical Logic

This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial...
Editeur : Springer
Parution : 2013-08-04
Collection : Handbook of Philosophical Logic
Format(s) : ePub
94,94

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Logic: A History of its Central Concepts

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so...
Editeur : North Holland
Parution : 2012-12-31

Format(s) : epub sans DRM
213,11

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Sets and Extensions in the Twentieth Century

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is...
Editeur : North Holland
Parution : 2012-01-24

Format(s) : epub sans DRM
216,27

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Conditionals and Modularity in General Logics

This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we...
Editeur : Springer
Parution : 2011-08-19
Collection : Cognitive Technologies
Format(s) : ePub
94,94

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Handbook of Quantum Logic and Quantum Structures

Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quantum mechanics quantum logic, i.e. the logical investigation of quantum mechanics, has undergone an enormous development. Various schools of thought and approaches have...
Editeur : Elsevier Science
Parution : 2011-08-11

Format(s) : PDF sans DRM
216,27

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Approaches to Legal Rationality

Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in...
Editeur : Springer
Parution : 2010-10-04
Collection : Logic, Epistemology, and the Unity of Science
Format(s) : ePub
168,79

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Quantification in Nonclassical Logic

Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by traditional informalmethods until the 20th century. In the last century the tools...
Editeur : Elsevier Science
Parution : 2009-06-20

Format(s) : epub sans DRM
184,63

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Logic from Russell to Church

This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski,...
Editeur : North Holland
Parution : 2009-06-16

Format(s) : PDF, epub sans DRM
226,82

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Handbook of Quantum Logic and Quantum Structures

Quantum mechanics is said to be the most successful physical theory ever. It is, in fact, unique in its success when applied to concrete physical problems. On the other hand, however, it raises profound conceptual problems that are equally unprecedented.Quantum logic,...
Editeur : Elsevier Science
Parution : 2009-06-16

Format(s) : PDF sans DRM
184,63

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Mediaeval and Renaissance Logic

Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading...
Editeur : North Holland
Parution : 2008-03-14

Format(s) : PDF, epub sans DRM
216,27

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  British Logic in the Nineteenth Century

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the...
Editeur : North Holland
Parution : 2008-03-10

Format(s) : epub sans DRM
216,27

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Handbook of Philosophical Logic

theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: • a chapter on non-monotonic logic • a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic...
Editeur : Springer
Parution : 2007-08-28
Collection : Handbook of Philosophical Logic
Format(s) : PDF, ePub
210,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  The Many Valued and Nonmonotonic Turn in Logic

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum...
Editeur : North Holland
Parution : 2007-08-13

Format(s) : epub sans DRM
232,10

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Mathematical Problems from Applied Logic I

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas...
Editeur : Springer
Parution : 2006-07-02
Collection : International Mathematical Series
Format(s) : PDF
147,69

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Logic and the Modalities in the Twentieth Century

Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics,...
Editeur : North Holland
Parution : 2006-05-10

Format(s) : PDF sans DRM
232,10

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Interpolation and Definability

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy...
Editeur : Clarendon Press
Parution : 2005-05-12

Format(s) : PDF
143,73

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  A Practical Logic of Cognitive Systems

The present work is a continuation of the authors' acclaimed multi-volume APractical Logic of Cognitive Systems. After having investigated the notion ofrelevance in their previous volume, Gabbay and Woods now turn to abduction. Inthis highly original approach, abduction...
Editeur : Elsevier Science
Parution : 2005-05-02

Format(s) : epub sans DRM
184,63

Téléchargement immédiat
Dès validation de votre commande
12 >