Melvin fitting

from Wikipedia, the free encyclopedia

Melvin Chris Fitting (born January 24, 1942 in Troy (New York) ) is an American mathematician who studies mathematical logic, computer science and the philosophy of mathematics.

Life

Fitting studied at the Rensselaer Polytechnic Institute with a bachelor's degree and received his doctorate in 1968 from Yeshiva University under Raymond Smullyan (Intuitionistic Logic, Model Theory, and Forcing). He was then a professor at Lehman College, City University of New York (CUNY) and also taught at the CUNY Graduate Center.

He is a pioneer and wrote textbooks on the Tableau Method automatic proof systems.

In 2012 he received the Herbrand Award from the Conference on Automated Deduction (CADE) at the International Joint Conference on Automated Reasoning (IJCAR).

Fonts

  • Intuitionistic Logic, Model Theory, and Forcing, North-Holland, Amsterdam, 1969
  • Fundamentals of Generalized Recursion Theory, North-Holland, Amsterdam, 1981.
  • Proof Methods for Modal and Intuitionistic Logics, D. Reidel, Dordrecht, 1983
  • Computability Theory, Semantics and Logic Programming. Oxford University Press, 1987
  • First-Order Logic and Automated Theorem Proving, Springer 1990, 2nd edition 1996
  • with Raymond Smullyan: Set Theory and the Continuum Problem, Oxford University Press 1996, Dover 2010
  • with Richard Mendelsohn: First order modal logic, Kluwer 1998
  • Incompleteness in the Land of Sets, College Publications, 2007
  • Basic modal logic, in Dov M. Gabbay, CJ Hogger, JA Robinson (Eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1, Oxford University Press 1993, pp. 368-448
  • Types, Tableaus, and Goedel's God, Kluwer, 2002
  • Modal Proof Theory, in Patrick Blackburn, Johan van Benthem, Frank Wolter (Eds.), Handbook of Modal Logic, Chapter 2, Springer-Verlag, 2006.
  • Formal Methods, Vincent Hendricks, John Symons (Eds.): Formal Philosophy, Automatic Press, 2005, Chapter 4, pp. 27-33
  • Intensional Logic - Beyond First Order, in: Vincent F. Hendricks, Jacek Malinowski (Eds.), Trends in Logic: 50 Years of Studia Logica, Kluwer 2003, pp. 87-108
  • Editor with Ewa Orlowska: Beyond Two: Theory and Applications of Multiple-Valued Logic, Springer, 2003.
  • Introduction to: Marcello D'Agostino, Dov Gabbay, Reiner Hähnle, Joachim Posegga: Handbook of Tableau Methods, Springer 1999

Web links

Individual evidence

  1. ↑ Melvin Fitting in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Fitting, Melvin
ALTERNATIVE NAMES Fitting, Mel
BRIEF DESCRIPTION American mathematician
DATE OF BIRTH January 24, 1942
PLACE OF BIRTH Troy (New York)