Re: logic & software

Article View: sci.logic

Article #712

#712

From: H. Enderton
Date: Sun, 30 Jan 2000 00:00

11 lines
981 bytes

Meirvinne Joachim <joachim.van.meirvinne@pandora.be> wrote:
>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?

Have you looked at the Barwise-Etchemendy products?  (See JSL,
LXIV 916.)  Or Logicworks (JSL LV 368)?  There *is* software
out there somewhere.

--Herb Enderton
  hbe@math.ucla.edu

Technical Details

Message-ID: <8722pt$5fo$1@carroll.library.ucla.edu>

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

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

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fd9bd,913b5097dd379b08
X-Google-Attributes: gidfd9bd,public
X-Google-Thread: 10cc56,913b5097dd379b08
X-Google-Attributes: gid10cc56,public
From: hbe@sonia.math.ucla.edu (H. Enderton)
Subject: Re: logic & software
Date: 2000/01/30
Message-ID: <8722pt$5fo$1@carroll.library.ucla.edu>
X-Deja-AN: 579597153
References: <G2Wj4.1982$CP1.14364@afrodite.telenet-ops.be>
Organization: UCLA Mathematics Department
Newsgroups: sci.logic,aus.computers.logic-prog

Reply to Parent Message