In some recent works, Crupi and Iacona proposed an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

中文翻译：

---

证据条件的逻辑

在最近的一些著作中，Crupi 和 Iacona 基于 Chrysippus 的观点提出了对“如果”的分析，即只要对后件的否定与其前件不相容，条件就成立。本文提出了一个健全而完整的条件逻辑系统，以适应他们的分析。将提供的健全性和完整性证明依赖于 Raidl 阐述的通用方法，该方法适用于广泛的条件逻辑系统。