Re: looking for a predicate hierarchy

"Dmitry A. Kazakov" <mailbox@xxxxxxxxxxxxxxxxx> wrote in
news:1iraa1mnvtcji.oh5bsnrjjcdw$.dlg@xxxxxxxxxx:

On Tue, 19 Dec 2006 21:20:53 +0100 (CET), V.J. Kumar wrote:

"Dmitry A. Kazakov" <mailbox@xxxxxxxxxxxxxxxxx> wrote in
news:12cnousl5msxh.1anmyqm356hwb$.dlg@xxxxxxxxxx:

(in logic "uncertain" is usually denoted as _|_, flipped T)

In what logic ?

Ah, there are so many. Even for a tri-state logic one could take
"contradictory" T instead of "uncertain" _|_ as the third element.

Without implication, your three-valued logic is not fully specified.

Right. That depends on the definition of implication. (not x) V y is
well defined in tri-state logic because not _|_ = _|_. But it would be
a bad implication to take.

It the Kleene logic implication. Whether it's "good" or "bad " surely
depends on the application of such logic.

A better one is ~xVy, where ~_|_=T. That is
not closed in tri-state logic. It is in four-state Belnap logic:

x y x=>y
------------------
0 0 1
0 1 1
0 _|_ 1
1 0 0
1 1 1
1 _|_ _|_
_|_ 0 T
_|_ 1 1
_|__|_ 1


What is the truth table for ~ ? Does the deduction theorem hold with the
implication ?



.

Loading