logic & software

Thread View: sci.logic

4 messages

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

4 total messages Started by Meirvinne Joachim Thu, 27 Jan 2000 00:00

#710

Author: 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

Re: logic & software

#711

Author: Joachim
Date: Thu, 27 Jan 2000 00:00

28 lines
1427 bytes

Dear Joachim,

There is indeed already software "out there". I'll give you a references:
1 Logic with Symlog
  Learning Symbolic logic by computer
  F. D. Portoraro and E. Tully
isbn 0-13-327628-7

But it will be better to take a look at my homepage, you'll find a lot of links
to logic tutoring software.
I hope this will help you, because we're expecting a lot from your work..
How about coffee tomorrow??
Alex
http://allserv.rug.ac.be/~wklijn/index.html




Meirvinne Joachim schreef:

> 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

Re: logic & software

#712

Author: 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

Re: logic & software

#713

Author: 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

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