TY  - RPRT
TI  - Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical Predicate Logic
AU  - Naosuke Matsuda
AU  - Kento Takagi
PY  - 2021
UR  - https://arxiv.org/abs/2107.03972
ID  - 2107.03972
ER  -