Gödel logic

In 1959, Michael Dummett showed that infinite-valued propositional Gödel logic can be axiomatised by adding the axiom schema

${\displaystyle (A\to B)\vee (B\to A)}$

to intuitionistic propositional logic.