Index of values

A
and_bnp [Bnp]

Conjunction.

C
cns [Bnp]

Consensus -- returns T/F when both arguments are T/F, otherwise, returns B.

conf [Bnp]

Conflation -- T/F preserved; maps B to N and vice-versa.

E
eval_bnp [Bnp]

Evaluate formula over valuation.

G
gull [Bnp]

Gullibility -- equivalent to negation on T and F; maps B to N and vice-versa.

I
implic [Bnp]

Truth-preserving implication.

implic_bn [Bnp]

Belnap implication.

implic_cmi [Bnp]

Material implication (Arieli-Avron).

implic_st [Bnp]

Strong implication -- equivalent to (X → Y) ∧ (¬Y → X) where → is material implication (implic_cmi).

N
not_bnp [Bnp]

Classical negation, with ¬B = B, ¬N = N.

O
or_bnp [Bnp]

Disjunction.