Investigations in Belnap's Logic of Inconsistent and Unknown ...

PFTF €rsvyƒy€rsgev eƒ€ig„ƒ RW
€F p — ˆH —˜ € PFR gQ@€ HAag@€
H
AF
ƒ € H
— — ƒ
g@€ H
A gQ@€ A — D ˜
ƒ —ƒ@€ A gQ@€ AF ❒
„ —˜ —˜— ˆ — E
— F v ˆ a eY XeY e 3 fYXe 3 fF ‡—fPƒ@ˆA
˜ f TP gQ@ˆAF „ — — ˜— gQ —E
— ˜ X ˆ uQ —— — eY XeY e •Xe3fF
ƒ e •Xe — — — fD ˜— —
— e ˜ D —D f ˜ —F
„ — —— — — —— —
—F s ˜ — — —
—˜—F sD D D
— X — — ˆ — gQ@ˆAF s 8 3 9 — ˜
gQ@ˆA — 8 — —D — 9 gQ@ˆAY — ‰ F
p—D — gQ ‰ F „ — —X
g C Q a gQ@gQ@ˆA ‘9 839 PgQ@ˆA — 8 — —F A
„ — g C Q
— ƒ — — ——˜X
€ PFPUF v ˆ ˜ — — —— —
@AF „D ƒ@ˆA g C Q @ˆAF
€F v 8 P ƒ@ˆAF ‡ — — 8 P g C Q @ˆAF v ˆH IYˆH PXXX ˜
—— ˜ ˆ — ˆH – 8D Y – —˜
— —— F f — — ——
—D — ˆH ˜ 9IYXXX Y9 — 9 IYXXX Y9 – 8F v 9 a 9 I ” XXX”9 F rD ˆH
9 — 9 3 8 — —F
‡ — —
9I • 9P • XXX•9 38
— —F ‡ —F
g— I 9I 9P XXX 9 — F „D —— ˜
ˆH — 8 — ˜ — ‰ ˆHF s D
‰ &„
aI ˆH — ‰ uQE— 8F g—D ‰
— — b ˆD 8 P gQ@ˆ ‘ ‰ Aa
gQ@ˆAF