Dov Gabbay

Dov Gabbay
Bernard Dov Gabbay
Born October , 1945 (1945-10-00) (age Expression error: Missing operand for -)
Fields Computer Science
Institutions [Kings College London]]
Bar-Ilan University
University of Luxembourg
University of Manchester
Universite Paul Sabatier
Alma mater B.Sc. (Mathematics and Physics) 1966, Hebrew University, Jerusalem
M.Sc. (Logic) 1967, Hebrew University
Ph.D. (Logic) 1969, Hebrew University
Known for Labelled Deductive Systems, Fibring Logics, Gabbay's separation theorem
Notable awards Foreign Fellow of the Royal Society of Canada (FRSC)
Fellow of the Alexander von Humboldt Foundation (FAvH)
Fellow of the Royal Society of Arts (FRSA)

Dov M. Gabbay is Augustus De Morgan Professor of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London (Emeritus). He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and over 50 Handbooks of Logic, inclunding the Handbook of Philosophical Logic, the Handbook of Logic in Computer Science, and the Handbook of Artificial Intelligence and Logic Programming, among many other reference works on logic.

He is Chairman and founder of several international conferences, executive of the European Foundation of Logic Language and Information and President of the International IGPL Logic Group. He is founder, an joint President of the International Federation of Computational Logic,[1] (UK Charity, Number 1112512).[2] He is also one of the four founders and council member for many years of FoLLI, the Association of Logic, Language and Information. Now retired and Life Member.

He is cofounder with Jane Spurr of College Publications, an non-profit upstart academic publisher associated with the charity, intended to compete with major expensive publishers at affordable prices, and not requiring copyright assignment from authors.[3]


Regular Positions

1968-1970 Instructor, Hebrew University of Jerusalem
1970-1973 Assistant Professor of Philosophy, Stanford University
1973-1975 Associate Professor of Philosophy, Stanford University
1975-1977 Associate Professor, Bar-Ilan University
1977-1983 Lady Davis Professor of Logic, Bar-Ilan University
1983-1998 Professor of Computing, Imperial College, London
1998- present Professor of Computing, Professor of Philosophy, Augustus De Morgan Professor of Logic, King's College, London
2009- present Special Professor Bar Ilan University

See also

  • Gabbay's separation theorem


External links

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français

  • Anti-psychologism — is a thesis about the nature of logical truth, that it does not depend upon the contents of human ideas but exists independent of human ideas. The term was coined by Gottlob Frege, and has been the centre of an important debate in analytical… …   Wikipedia

  • Paul Gochet — 2000 Paul Gochet, né le 21 mars 1932 à Bressoux et mort le 21 juin 2011 à Bruxelles, est un philosophe et logicien belge, professeur émérite de l université de Liège. Il a mené des recherches principalement en logique et en philosophie analyti …   Wikipédia en Français

  • Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

  • Walter Carnielli — Walter Alexandre Carnielli (born on 11 January in 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher of international recognition, full professor of Logic at the State University of Campinas (UNICAMP). With a… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • Klassische Logik — Unter der klassischen Logik versteht man ein logisches System, das die Aussagen , die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den Identitätsbegriff enthält. Eine erste Axiomatisierung eines solchen Systems hat Gottlob Frege …   Deutsch Wikipedia

  • Zweiwertige Logik — Dieser Artikel schildert die moderne Verwendung der Bezeichnung „klassische Logik“. Für Informationen über Logik in der klassischen Antike und über traditionelle Logik im weiteren Sinn siehe Logik, Syllogistik und Begriffslogik. Unter der… …   Deutsch Wikipedia

  • Shahid Rahman — (né en 1956 à New Delhi) est un mathématicien qui possède la double nationalité argentine et allemande, professeur de logique et d épistémologie à l Université Lille III. Il est notamment connu pour son développement de la logique du dialogue.… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”