TY  - RPRT
TI  - Four imprints of Belnap's useful four-valued logic in computer science
AU  - Tomáš Jakl
PY  - 2025
UR  - https://arxiv.org/abs/2503.20679
ID  - 2503.20679
ER  -