TY  - RPRT
TI  - Expanding Belnap 2: the dual category in depth
AU  - Andrew Craig
AU  - Brian A. Davey
AU  - Miroslav Haviar
PY  - 2020
UR  - https://arxiv.org/abs/2012.08010
ID  - 2012.08010
ER  -