Re: logic & software

Article View: sci.logic

Article #713

#713

From: Piotr Rudnicki
Date: Thu, 10 Feb 2000 00:00

13 lines
1081 bytes

In sci.logic 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?

Mizar-MSE has been design having in mind teaching elementary proof
techniques.  Have a look at:

        http://www.cs.ualberta.ca/~piotr/Mizar-MSE/


-- 
Piotr Rudnicki

Technical Details

Message-ID: <87tf28$dkg$1@pulp.srv.ualberta.ca>

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: Piotr Rudnicki <piotr@sedalia.cs.ualberta.ca>
Subject: Re: logic & software
Date: 2000/02/10
Message-ID: <87tf28$dkg$1@pulp.srv.ualberta.ca>
X-Deja-AN: 583976773
References: <G2Wj4.1982$CP1.14364@afrodite.telenet-ops.be>
Organization: University of Alberta, Edmonton, Canada
User-Agent: tin/pre-1.4-19990216 ("Styrofoam") (UNIX) (Linux/2.2.10 (i686))
Newsgroups: sci.logic,aus.computers.logic-prog

Reply to Parent Message