TY  - RPRT
TI  - Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE
AU  - Martin Fischer
AU  - Carlo Nicolai
AU  - Pablo Dopico Fernandez
PY  - 2020
UR  - https://arxiv.org/abs/2007.07188
ID  - 2007.07188
ER  -