Fitting on Bilattices: Theory of Truth, and Logic Programming

by Yang Liu

CUNY CONFERENCE: Computational Logic, October 4-5
A 70th Birthday Celebration Honoring Melvin Fitting
(http://cslogic.info/ComputationalLogicFitting70/)
Thursday, October 4, GC 9204/9205
3:30pm – 4:00pm, Registration
4:00pm – 5:00pm, Melvin Fitting, Bilattices: Theory of Truth, and Logic Programming
5:00pm – 6:00pm, Wine and cheese reception (room TBA)