From: utzoo!decvax!microsof!uw-beave!cornell!vax135!floyd!cmcl2!philabs!sdcsvax!laman
Newsgroups: net.general
Title: NEED INFO on logic systems!!
Article-I.D.: sdcsvax.81
Posted: Sat Mar 26 18:18:22 1983
Received: Mon Mar 28 01:18:39 1983

For my thesis, I am working on a propositional logic system.  I am
asking for ANY information people may have on any such system you may know
about.  I am only looking for information about:

  1> How old the system is,
  2> its capabilities, and
  3> its restrictions.

Or

  A pointer to someone knowing such things.


This is part of my research so IT IS IMPORTANT.  I remember someone asking
for about logic systems.  I would appreciate hearing from him/her, too!
All information will be greatly appreciated.

    I will be happy to send information on my system to anyone interested,
and a completed system when it is.

	I will summarize the replies.

			Mike Laman
			sdcsvax!laman