TY  - RPRT
TI  - Paradeduction in Axiomatic Formal Systems
AU  - Edelcio G. de Souza
AU  - Alexandre Costa-Leite
AU  - Diogo H. B. Dias
PY  - 2022
UR  - https://arxiv.org/abs/1710.01284
ID  - 1710.01284
ER  -