Multiple Conclusion Rules in Logics with the Disjunction Property

Alex Citkin

We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), a…