@misc{indiciae0e6db38fb238,
  title = {What Kinds of Connectives Cause the Difference between Intuitionistic Predicate Logic and the Logic of Constant Domains?},
  author = {Naosuke Matsuda and Kento Takagi},
  year = {2022},
  url = {https://arxiv.org/abs/2205.05995},
  note = {Source identifier: 2205.05995}
}