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.

Run the Three Valued Modal Logic Expression Evaluator
Source Code

Go to ...

logic page
John Halleck's home page