logic & software

Article View: sci.logic

Article #710

#710

From: Meirvinne Joachim
Date: Thu, 27 Jan 2000 00:00

8 lines
1049 bytes

I'm writing a program that will allow students to make excercises in logic,
focussed on constructing proofs in both propositional and predicate logics.
Is there already software of that kind out there?

Thanks,
Joachim

Phil. Dept., Free University of Brussels

Technical Details

Message-ID: <G2Wj4.1982$CP1.14364@afrodite.telenet-ops.be>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fd9bd,913b5097dd379b08,start
X-Google-Attributes: gidfd9bd,public
X-Google-Thread: 10cc56,913b5097dd379b08,start
X-Google-Attributes: gid10cc56,public
From: "Meirvinne Joachim" <joachim.van.meirvinne@pandora.be>
Subject: logic & software
Date: 2000/01/27
Message-ID: <G2Wj4.1982$CP1.14364@afrodite.telenet-ops.be>
X-Deja-AN: 578269400
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600
X-Complaints-To: abuse@pandora.be
X-Trace: afrodite.telenet-ops.be 948972838 213.224.14.133 (Thu, 27 Jan 2000 12:33:58 MET)
Organization: Pandora-- Met vlotte tred op Internet
X-MSMail-Priority: Normal
NNTP-Posting-Date: Thu, 27 Jan 2000 12:33:58 MET
Newsgroups: sci.logic,aus.computers.logic-prog