TY  - RPRT
TI  - An Alleged Tension between Non-classical Logics and Applied Classical Mathematics
AU  - Sebastian Horvat
AU  - Iulian D. Toader
PY  - 2023
DO  - 10.1093/pq/pqad125
UR  - https://arxiv.org/abs/2304.08452
ID  - 2304.08452
ER  -