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