Xref: utzoo comp.theory:2089 sci.logic:1322
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!ucla-cs!maui.cs.ucla.edu!chou
From: chou@maui.cs.ucla.edu (Ching-Tsun Chou)
Newsgroups: comp.theory,sci.logic
Subject: Looking for PX
Message-ID: <1991Jun6.200435.29261@cs.ucla.edu>
Date: 6 Jun 91 20:04:35 GMT
Sender: usenet@cs.ucla.edu (Mr. News Himself)
Organization: UCLA Computer Science Department
Lines: 8
Originator: chou@maui.cs.ucla.edu
Nntp-Posting-Host: maui.cs.ucla.edu


Does anyone out there know where and how to obtain a (preferably free)
implementation of the computational logic PX as described in the book
"PX, a computational logic" by Susumu Hayashi and Hiroshi Nakano?
Any pointer is appreciated.

Cheers,
Ching-Tsun <chou@cs.ucla.edu>