Talk:Melvin Fitting

additional publications
These are some pubs which I found (or which were in mainspace already) that I moved here to the talkpage, during my initial scan of the refs. They are papers from the 1980s which did not have super-high cite counts; more recent papers (which were either popular with the search engine or placed in the article by other editors) were left in mainspace. If online versions of these exist, it would be useful to the readership to add them back into the Selected Publications listing; convenience often trumps cite counts. :-)

'86  * Partial Models and Logic Programming, Theoretical Computer Science (journal), 48 (3), 229-255 (1986). '87  * Computability Theory, Semantics, and Logic Programming, Oxford University Press, 1987; Japanese edition, Maruzen Co, Tokyo, 1989. '88  * Stratified and Three-valued Logic Programming Semantics, with Marion Ben-jacob, Joint Int'l Conf. and Symposium on Logic Programming (ICLP/JICSLP), pp1054-1069 (1988). '89  * Negation As Refutation, Logic in Computer Science Conference, pp63-70 (1989).

They main hits in duckduckgo / academic.research.microsoft.com / scholar.google.com, sorted by year , annotated with cite-counts or hit-letters in hidden HTML comments, were added to the article in mainspace a few minutes ago. Hope this helps. 74.192.84.101 (talk) 23:28, 22 January 2014 (UTC)

other co-authors according to msft

 * Miroslaw Truszczynski, U. Kentucky
 * Victor W. Marek aka Victor Marek, U. Kentucky
 * Roderic A. Girle aka Roderic Girle, U. Auckland
 * Ruili Ye, no affiliation given (AI research)

The first two have over a thousand cites (albeit not yet as many as Mel himself). 74.192.84.101 (talk) 00:10, 23 January 2014 (UTC)

courses taught
http://www.gc.cuny.edu/Page-Elements/Academics-Research-Centers-Initiatives/Doctoral-Programs/Philosophy/Faculty-Bios/Melvin-Fitting


 * Modal Logic; co-taught with Richard Mendelsohn (Fall 2010, Fall 2009, Spring 2007, Spring 2005)
 * Advanced Logic (Fall 2006)
 * Incompleteness and Undecidability (Spring 2003)
 * Set Theory (Fall 2002)

Partial list. HTH. 74.192.84.101 (talk) 00:10, 23 January 2014 (UTC)