There is Hope for Connexive Set Theories!
摘要
In this paper, we present an algebra-valued model on top of the four-element lattice \(\mathbb{M}\mathbb{C}\) which semantically captures Wansing’s logic of material connexvity (MC). We show that the resulting model validates an axiom system that is classically equivalent to \(\textsf{ZF}\) . For this purpose, we tweak our semantic interpretation of set-membership and identity.