[net.general] NEED INFO on logic systems!!

laman (03/27/83)

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