Talk:Melvin Fitting

This article must adhere to the biographies of living persons (BLP) policy, even if it is not a biography, because it contains material about living persons. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libellous. If such material is repeatedly inserted, or if you have other concerns, please report the issue to this noticeboard.

If you are a subject of this article, or acting on behalf of one, and you need help, please see this help page.

Biography: Science and Academia

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
	This article is supported by the science and academia work group.

Articles for creation

	This article was reviewed by member(s) of WikiProject Articles for creation. The project works to allow users to contribute quality articles and media files to the encyclopedia and track their progress as they are developed. To participate, please visit the project page for more information.Articles for creationWikipedia:WikiProject Articles for creationTemplate:WikiProject Articles for creationAfC articles
	This article was accepted on 22 December 2013 by reviewer Anne Delong (talk · contribs).

Philosophy: Philosophers / Logic / Contemporary Low‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Low

This article has been rated as Low-importance on the project's importance scale.

Associated task forces:
/
	Philosophers
	Logic
	Contemporary philosophy

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)[reply]

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)[reply]

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)[reply]