TY  - RPRT
TI  - Proof-theoretic aspects of paraconsistency with strong consistency operator
AU  - Victoria Arce Pistone
AU  - Martín Figallo
PY  - 2023
UR  - https://arxiv.org/abs/2304.11481
ID  - 2304.11481
ER  -