New Logic Calculus enhances George Spencer Brown

In the site http://multiforms.netfirms.com
a new logic calculus is described which enhances
the logic calculus of George Spencer Brown
(in  "Laws of Form").

Moreover, there is a theorem-proving engine
(an algorithm based on bit-pattern manipulation)
which uses Multiple Form Logic(tm) to process
logical queries in a class of Logic Formulae
which correspond to (simple) Expert Systems.
This is the "Iphigenia Algorithm", outlined in
http://multiforms.netfirms.com/iphigenia.html
(together with a downloadable demo program).

Multiple Form Logic is relevant to... Zen because
(like "Laws of Form") it derives all conventional
Propositional Logic from three axioms which are
based on Experience: (1) The Law of Oneness,
(2) The Law of Reflection and
(3) The Law of Perception.

Regards (and greetings to... Tang Huyen, in alt.zen) :)

George A. Stathis
http://www.geocities.com/omadeon