TY  - RPRT
TI  - Effective Finite-Valued Approximations of General Propositional Logics
AU  - Matthias Baaz
AU  - Richard Zach
PY  - 2019
DO  - 10.1007/978-3-540-78127-1_7
UR  - https://arxiv.org/abs/1908.01200
ID  - 1908.01200
ER  -