[mod.ai] Seminar - NUPRL as a Framework for Defining Logics

tim@LINC.CIS.UPENN.EDU.UUCP (03/23/87)

From: dale%linc.cis.upenn.edu@cis.upenn.edu
			Math/CS Logic Seminar
                     University of Pennsylvania
				   
		     RECENT RESULTS ABOUT NUPRL:
	   USING NUPRL AS A FRAMEWORK FOR DEFINING LOGICS.
				   
			   Robert Constable
			  Cornell University

				   
Abstract: Nuprl can be used to define natural deduction style logic.
We will also mention other recent results about the Nuprl type theory
such as those about representing partial functions.

		     Math/Physics Building (DRL)
		     4th floor Math Seminar Room
		     Monday 23 March 87, 10:30am