TY  - RPRT
TI  - Note on paraconsistency and reasoning about fractions
AU  - Jan A. Bergstra
AU  - Inge Bethke
PY  - 2015
UR  - https://arxiv.org/abs/1410.8692
ID  - 1410.8692
ER  -