Building on recent work by Yale Weiss, we study conditional logics in the intuitionistic setting. We consider a number of semantic conditions which give rise, among others, to intuitionistic counterparts of Lewis’s logic VC and Stalnaker’s C2 . We show how to obtain a sound and complete axiomatization of each logic arising from a combination of these conditions. On the way, we remark how, in the intuitionistic setting, certain classically equivalent principles of conditional logic come apart, and how certain logical connections between different principles no longer hold.

中文翻译：

---

直觉条件逻辑

在 Yale Weiss 最近工作的基础上，我们在直觉主义环境中研究条件逻辑。我们考虑了许多语义条件，这些条件导致了 Lewis 的逻辑 VC 和 Stalnaker 的 C2 的直觉对应物。我们展示了如何从这些条件的组合中获得每个逻辑的合理且完整的公理化。在此过程中，我们注意到在直觉主义环境中，条件逻辑的某些经典等价原则如何分离，以及不同原则之间的某些逻辑联系如何不再成立。