Multidimensional Logic

Carlos Gershenson (carlos@jlagunez.iquimica.unam.mx)
Wed, 14 Oct 1998 02:13:26 +0200 (MET DST)

This new logic was made to handle contradictions:

Abstract

Multidimensional logic is a new logic system proposed for modelling
paraconsistent logic. A brief definition of paraconsistent logic and
examples of when it is used
are given. Multidimensional logic principles and properties, such as
multidimensional logic variables are defined. The logical operators AND,
OR, NOT, IF... THEN,
and IF AND ONLY IF are defined and explained for multidimensional logic.
Also, equivalence, degree of contradiction, and the projection of
multidimensional in
fuzzy logic are defined. The precedence of operators is defined, too, and
the properties of the multidimensional AND and OR are demonstrated.
Furthermore, many
examples are given using multidimensional logic, pointing where it is
useful, and projections of multidimensional in fuzzy logic are defined and
explained. This includes
a simple program that uses multidimensional logic.

the complete article can be found at
http://jlagunez.iquimica.unam.mx/~carlos/mdl/

I would appreciate any comments.

"About a fact there are as many different truths
as there are different sets in the universe...
and lies, much more."

Carlos Gershenson
http://132.248.11.4/~carlos/

############################################################################
This message was posted through the fuzzy mailing list.
(1) To subscribe to this mailing list, send a message body of
"SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
(2) To unsubscribe from this mailing list, send a message body of
"UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
to listproc@dbai.tuwien.ac.at
(3) To reach the human who maintains the list, send mail to
fuzzy-owner@dbai.tuwien.ac.at
(4) WWW access and other information on Fuzzy Sets and Logic see
http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
(5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html