What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?

Naosuke Matsuda, Kento Takagi

Browse the full WoLLIC paper archive.