A | |

and_bnp [Bnp] | Conjunction. |

C | |

cns [Bnp] | Consensus -- returns |

conf [Bnp] | Conflation -- |

E | |

eval_bnp [Bnp] | Evaluate formula over valuation. |

G | |

gull [Bnp] | Gullibility -- equivalent to negation on |

I | |

implic [Bnp] | Truth-preserving implication. |

implic_bn [Bnp] | Belnap implication. |

implic_cmi [Bnp] | Material implication. |

implic_st [Bnp] | Strong implication -- equivalent to (X → Y) ∧ (¬Y → X) where → is
material implication ( |

N | |

not_bnp [Bnp] | |

O | |

or_bnp [Bnp] | Disjunction. |