Multiple Form Logic
TM
by
OMADEON
ATTENTION:
Best viewed with
Firefox
™
or
Netscape
™, 1280 x 1024
resolution
An
enhanced generalisation
of
George Spencer Brown
's "
Laws of Form
",
simplifying & elucidating
Propositional Logic
and the
Philosophy of Logic
This site also includes some
Automatic Theorem Proving Software
(you can download)
written in
Visual Prolog
™
and
LPA Win-Prolog
™
Enter
Last update:
5 October 2007 (version 1.8)
introductory text in
Greek:
εισαγωγικό κείμενο στα Ελληνικά (HTML)
εισαγωγικό κείμενο στα Ελληνικά (PDF)
NEW THEOREM PROOFS (2007)
(including one by someone else)
Compatibility with the Ancient Buddhist Logic of Nagarjuna (controversial !)
