3 ms·This can be modelled formally: just drop the ex falso quodlibet axiom and its equivalents.by chalst 4y agoThis can be modelled formally: just drop the ex falso quodlibet axiom and its equivalents.