Melvin Fitting

Melvin Fitting

Melvin Fitting

Lehman College - CUNY Graduate Center

external web page

Lehman College Professor Melvin Fitting received the Herbrand Award of 2012 for his groundbreaking contributions to the field of automated theorem proving, which focuses on getting computer programs to prove logical and mathematical deductions.
Melvin Fitting has 8 talks in our database:
Computational Logic Seminar February 14, 2017
Cut Elimination
Computational Logic Seminar February 23, 2016
Paraconsistent logic, evidence, and justification
Computational Logic Seminar April 14, 2015
Cut-Free Proofs for More and More Logics
Computational Logic Seminar March 17, 2015
Reasoning about reasoning about games
NY Philosophical Logic Group February 12, 2015
Justification Logics
Computational Logic Seminar March 11, 2014
Height and Happiness
Computational Logic Seminar November 12, 2013
Realization Semantically
Computational Logic Seminar October 22, 2013
Justification Logic Semantics: A Little New, but Mostly Old
CUNYGraduate CenterLehman College