|
|
There are two names around. Some logics
are called modal, and some logics are
called multi valued.
It can be shown that modal logics correspond
with certain infinitely valued logics.
But on the other hand it can also be shown
that finitly valued logics do not correspond
with certain modal logics.
So that is why some logics are called modal
and other are called 3-valued, and they
do not correspond to each other.
If you want a reference on my claims,
please let me know. There have also already
been posts in this news group that support
this claim.
Bye
Confutus wrote:
I'm interested, but I have a radically unorthodox approach to the
subject. A number of years ago I worked out how a modal logic formally
similar to the Lewis system S5 could be based on Lukasiewicz 3-valued
logic, and I haven't yet been able to find anyone much interested in
it.
Khodaeifar wrote:
Hi all,
Is there anybody interested in "Modal Logic" ?
I need a debater!
Thanks
|
|