Belnaps logic

Redirect to:

  • Four-valued logic