Logichard
0:00.0

In Intuitionistic Propositional Logic (IPL), the Dummett-Gödel schema (P    Q)(Q    P)(P \implies Q) \lor (Q \implies P) is not valid. Under the standard intuitionistic Kripke semantics, what structural property must a connected poset (W,)(W, \le) of worlds satisfy for this schema to be forced at the root world under all possible valuations?