You are here

Bertie3 and Twootie 2.1 help learn symbolic Logic

3 posts / 0 new
Last post
eolo
eolo's picture
Offline
Last seen: 2 years 10 months ago
Joined: 2012-01-06 13:59
Bertie3 and Twootie 2.1 help learn symbolic Logic

Please, can anybody make portable these two, free and open source programs? They are needed by many students of symbolic Logic all around.

    BERTIE3 is a proof checker for natural deduction in sentential and predicate logic.
    TWOOTIE 2.1 is a tool for exploring truth trees in sentential and predicate logic.

Both programs ran originally under DOS, and worked fine under Windows untill Windows-XP. Thereafter, they only run under DOSBox (available as a portableapp), although some configuration is needed.

other features of the programs to be found in their download page:
http://selfpace.uconn.edu/BertieTwootie/software.htm

As of June 2002, creator Austen Clark (Conn. U.) granted distribution of the programs under the copyleft terms of the GNU General Public License, as can be read from his personal page at:

http://selfpace.uconn.edu/aclark.htm

He also made the source code available there. This is important, because some kind of interaction with with DOSBox might be at hand.

Chris Morgan
Chris Morgan's picture
Offline
Last seen: 7 years 3 months ago
Joined: 2007-04-15 21:08
Windows apps only

We only make Windows apps portable. These being for DOS, we cannot support. Providing DOSBox Portable is as far as we'll go.

I am a Christian and a developer and moderator here.

“A soft answer turns away wrath, but a harsh word stirs up anger.” – Proverbs 15:1

eolo
eolo's picture
Offline
Last seen: 2 years 10 months ago
Joined: 2012-01-06 13:59
Thanks

Thank you.

Eolo Smile

Log in or register to post comments