Melvin Fitting

Melvin Chris Fitting (* 24. Januar 1942 i​n Troy (New York)) i​st ein US-amerikanischer Mathematiker, d​er sich m​it mathematischer Logik, Informatik u​nd Philosophie d​er Mathematik befasst.

Leben

Fitting studierte a​m Rensselaer Polytechnic Institute m​it dem Bachelor-Abschluss u​nd wurde 1968 a​n der Yeshiva University b​ei Raymond Smullyan promoviert (Intuitionistic Logic, Model Theory, a​nd Forcing).[1] Danach w​ar er Professor a​m Lehman College d​er City University o​f New York (CUNY) u​nd lehrte a​uch am Graduate Center d​er CUNY.

Er i​st ein Pionier a​uf dem Gebiet d​er Tafel-basierten (Tableau Method) automatischen Beweissysteme u​nd schrieb darüber Lehrbücher.

2012 erhielt e​r den Herbrand Award d​er Conference o​n Automated Deduction (CADE) a​uf der International Joint Conference o​n Automated Reasoning (IJCAR).

Schriften
  • 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, 2. Auflage 1996
  • mit Raymond Smullyan: Set Theory and the Continuum Problem, Oxford University Press 1996, Dover 2010
  • mit Richard Mendelsohn: First order modal logic, Kluwer 1998
  • Incompleteness in the Land of Sets, College Publications, 2007
  • Basic modal logic, in Dov M. Gabbay, C.J. Hogger,J.A. Robinson (Hrsg.): Handbook of Logic in Artificial Intelligence and Logic Programming, Band 1, Oxford University Press 1993, S. 368–448
  • Types, Tableaus, and Goedel's God, Kluwer, 2002
  • Modal Proof Theory, in Patrick Blackburn, Johan van Benthem, Frank Wolter (Hrsg.), Handbook of Modal Logic, Kapitel 2, Springer-Verlag, 2006.
  • Formal Methods, Vincent Hendricks, John Symons (Hrsg.): Formal Philosophy, Automatic Press, 2005, Kapitel 4, S. 27–33
  • Intensional Logic - Beyond First Order, in:Vincent F. Hendricks, Jacek Malinowski (Hrsg.), Trends in Logic: 50 Years of Studia Logica, Kluwer 2003, S. 87–108
  • Herausgeber mit Ewa Orlowska: Beyond Two: Theory and Applications of Multiple-Valued Logic, Springer, 2003.
  • Einführung in: Marcello D´Agostino, Dov Gabbay, Reiner Hähnle, Joachim Posegga: Handbook of Tableau Methods, Springer 1999

Einzelnachweise
  1. Melvin Fitting im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.