Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!lll-lcc!ames!ucbcad!ucbvax!LINC.CIS.UPENN.EDU!tim
From: tim@LINC.CIS.UPENN.EDU.UUCP
Newsgroups: mod.ai
Subject: Seminar - NUPRL as a Framework for Defining Logics (UPenn)
Message-ID: <8703231324.AA00703@linc.cis.upenn.edu>
Date: Mon, 23-Mar-87 08:24:18 EST
Article-I.D.: linc.8703231324.AA00703
Posted: Mon Mar 23 08:24:18 1987
Date-Received: Sat, 28-Mar-87 00:43:28 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 18
Approved: ailist@sri-stripe.arpa

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