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:
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:
He also made the source code available there. This is important, because some kind of interaction with with DOSBox might be at hand.