Programs for simple logic proofs: where are they?

Article View: sci.logic

Article #351

#351

From: Mike Brown
Date: Thu, 12 Nov 1992 05:30

16 lines
1033 bytes

I am looking for programs that will do proofs like:
			Prove: Q            \
	1 P then Q	Premis               > The problem
	2 P		Premis              /
	3 Q             1, 2, Modus Ponens  >  The program's proof

(The proofs do get more involved)

I have looked around, but can't find a program for this.
(I tried archie searches for many keywords and didn't find a program)

Is there a program out there that will do these proofs?

Thanks
--
Mike Brown, mjb@cs.unr.edu    "I am the scratch monkey"

Technical Details

Message-ID: <4804@equinox.unr.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!sun-barr!ames!data.nas.nasa.gov!taligent!apple!equinox!dws014!mjb

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!sun-barr!ames!data.nas.nasa.gov!taligent!apple!equinox!dws014!mjb
From: mjb@dws014.unr.edu (Mike Brown)
Newsgroups: sci.logic
Subject: Programs for simple logic proofs:  where are they?
Message-ID: <4804@equinox.unr.edu>
Date: 12 Nov 92 05:30:28 GMT
Sender: news@equinox.unr.edu
Reply-To: mjb@dws020.unr.edu (Mike Brown)
Followup-To: sci.logic
Organization: University of Nevada, Reno  Department of Computer Science
Lines: 16