Three Valued Modal Logic Expression Evaluator Page

Welcome to the expression evaluator.

Thad Coons toc586@charter.net 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.


Go to ...


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.