Welcome to the expression evaluator.
Thad Coons email@example.com has, for many years, been working on a system of modal logic based on Lukasiewicz three valued logic. I wrote this expression evaluator to allow him to do quick checks on it."
In the end I just need to modify it to read in the tables we are using. But at the moment it just has Thad's tables canned.
This page is http://www.cc.utah.edu/~nahaj/logic/threeval/
© Copyright 2000 by John Halleck, All Rights Reserved.
This page was last modified on November 24th, 2003.