Publicly available logic problem sets

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Anthony Bloesch Wed, 08 Apr 1992 22:49

#107

Author: Anthony Bloesch
Date: Wed, 08 Apr 1992 22:49

15 lines
1140 bytes

I suppose this is a FAQ so I'll tender my apologies first.  But are
there any ftp'able logic problem sets on the net (preferably in infix
notation).  I  am interested in problems in any logic (Classical,
paraconsistent, relevant, etc); theorems as well as nontheorems.
The larger the problem set the better as I will be using them to test a
general purpose theorem prover I have written.  While I can, and have,
generated random theorems and nontheorems they are often uninteresting
(e.g. Nontheorem -> Simple Theorem).

Please email me and I will summarize the responses in a later posting.
I am already aware of the problem sets that come with KRIPKE and Otter as
well as the morgan problem set of anagram.mcs.anl.gov:/pub/ATP_problems
fame.

                                   Anthony

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads