Three Valued Modal Logic Expression Evaluator Page

Welcome to the expression evaluator.

Thad Coons 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
© Copyright 2000 by John Halleck, All Rights Reserved.
This page was last modified on November 24th, 2003.