TY  - RPRT
TI  - Undefinability of Standard sequent calculi for Paraconsistent three-valued logics
AU  - S. Bonzio
AU  - M. Pra Baldi
PY  - 2017
UR  - https://arxiv.org/abs/1612.00963
ID  - 1612.00963
ER  -