Multiple Conclusion Rules in Logics with the Disjunction Property
Logic
2015-09-03 v1
Abstract
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), and every basis of admissible m-rules can be reduced to a basis of admissible rules. These results can be generalized to a broad class of logics including positive logic and its extensions, Johansson logic, normal extensions of S4, n-transitive logics and intuitionistic modal logics.
Keywords
Cite
@article{arxiv.1509.00642,
title = {Multiple Conclusion Rules in Logics with the Disjunction Property},
author = {Alex Citkin},
journal= {arXiv preprint arXiv:1509.00642},
year = {2015}
}