@misc{W1487409515,
  author = {Nuel Belnap},
  title = {A Useful Four-Valued Logic},
  year = {1977},
  doi = {https://doi.org/10.1007/978-94-010-1161-7\_2}
}