Any intermediate logic with the disjunction property admits the Visser rules if and only if it has the extension property. This equivalence restricts nicely to the extension property up to n. In this paper we demonstrate that the same goes even when omitting the rule ex falso quod libet, that is, working over minimal rather than intuitionistic logic. We lay the groundwork for providing a basis of admissibility for minimal logic, and tie the admissibility of the Mints–Skura rule to the extension property in a stratified manner.
Jeroen Goudsmit's picture
About Jeroen Goudsmit
Jeroen is a mathematician working on compliance in the financial sector, focussing on quantitative integrity risk management.