Melvin Fitting is Professor Emeritus at the City University of New York. He has written or edited a dozen books, and has worked in intensional logic, semantics for logic programming, theory of truth, and tableau systems for non-classical logics. In 2012 he received the Herbrand Award from the Conference on Automated Deduction. He was on the faculty of the City University of New York from 1969 to his retirement in 2013, at Lehman College, and at the Graduate Center, where he was in the Departments of Mathematics, Computer Science, and Philosophy.
2 résultat(s)
Télécharger le livre : First-Order Modal Logic
Melvin Fitting , Richard L. Mendelsohn
First-Order Modal Logic
This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal...
Editeur : Springer
Parution : 2023-10-18

Format(s) : PDF, ePub
126,59 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Raymond Smullyan on Self Reference
Melvin Fitting , Brian Rayman
Raymond Smullyan on Self Reference
This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed...
Editeur : Springer
Parution : 2018-01-11
Collection : Outstanding Contributions to Logic
Format(s) : PDF
105,49 €
Téléchargement immédiat
Dès validation de votre commande