On Sat, 27 May 2017, Martin Rönsch wrote:
This is because the principle of explosion is a characteristic specific to classic first order predicate logic and it's extensions.
Actually you just need propositional logic, and intuitionistic is enough. not A =def= A -> False False -> B are essentially axioms/definitions of the latter. Greetings, Ørjan.
