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.

Publication
Goudsmit () A note on extensions: Admissible rules via semantics. Lecture Notes in Computer Science, 7734:206-218 doi: 10.1007/978-3-642-35722-0_15