Formal analysis reveals conditional rules derive from compatibility across non-classical systems, indicating these logical relations are largely independent of the underlying logic.
This paper draws attention to key logical relations between two distinct and independently intelligible notions, compatibility and implication . We identify a set of inference rules governing compatibility and show how crucial principles concerning conditionals can be derived from these rules, on the assumption that implication is definable in terms of compatibility. As will emerge — and this is the main point of the paper — the logical relations considered are to a large extent neutral as to the underlying logic, as they hold in a wide range of non-classical systems.
No takes yet. Share an insight, caveat, or question.
Iacona et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: