TY  - RPRT
TI  - Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
AU  - Mikhail Rybakov
PY  - 2025
UR  - https://arxiv.org/abs/2505.00524
ID  - 2505.00524
ER  -