TY  - RPRT
TI  - Cut elimination, identity elimination, and interpolation in super-Belnap logics
AU  - Adam Prenosil
PY  - 2018
UR  - https://arxiv.org/abs/1803.03822
ID  - 1803.03822
ER  -