3 ms·Ex falso quodlibetby gpderetta 4y agoEx falso quodlibetchalst 4y ago...is taken as true but is a really lousy principle for modelling informal reasoning.gpderetta 4y agoCompilers and compiler writers don't rely on informal reasoning when deciding whether an optimization is validchalst 4y agoThis can be modelled formally: just drop the ex falso quodlibet axiom and its equivalents.