Skura syntactically characterised intuitionistic propositional logic among all intermediate logics by means of a Łukasiewicz-style refutation system. Another such syntactic characterisation is given by Iemhoff in terms of admissible rules. Here we offer a bridge between these results. That is to say, we provide sufficient conditions under which admissible rules yield a refutation system fully characterising the logic. In particular, we give a characterisation of the Gabbay–de Jongh logics by means of refutation systems employing ideas from admissibility.
Goudsmit, J. (2018). A Syntactic Characterization of the Gabbay-de Jongh Logics (Vol. 25, pp. 82–78). EasyChair. https://doi.org/10.29007/1mcd
Mendeley helps you to discover research relevant for your work.