Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/5/84; site sjuvax.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!princeton!astrovax!sjuvax!tmoody
From: tmoody@sjuvax.UUCP (T. Moody)
Newsgroups: net.puzzle,net.math
Subject: Re: Logic puzzle creation query
Message-ID: <2650@sjuvax.UUCP>
Date: Sun, 15-Dec-85 00:24:44 EST
Article-I.D.: sjuvax.2650
Posted: Sun Dec 15 00:24:44 1985
Date-Received: Wed, 18-Dec-85 02:41:43 EST
References: <4253@topaz.RUTGERS.EDU> <435@hounx.UUCP> <214@yale.ARPA> <444@hounx.UUCP>
Reply-To: tmoody@sjuvax.UUCP (T. Moody)
Organization: St. Joseph's University, Phila. PA.
Lines: 3
Xref: watmath net.puzzle:1254 net.math:2638
Summary: Smullyan's "serious" contribution...

[]
I believe that Raymond Smullyan developed the "tree method" for testing
the consistency of sets of propositions in symbolic logic.