TY  - RPRT
TI  - What Kinds of Connectives Cause the Difference between Intuitionistic Predicate Logic and the Logic of Constant Domains?
AU  - Naosuke Matsuda
AU  - Kento Takagi
PY  - 2022
UR  - https://arxiv.org/abs/2205.05995
ID  - 2205.05995
ER  -