Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property
Sign Up to like & getrecommendations! Published in 2019 at "Axioms"
DOI: 10.3390/axioms8030100
Abstract: Using the defined notion of the inference with multiply-conclusion rules, we show that in the logics enjoying the disjunction property, any derivable rule can be inferred from the single-conclusion rules and a single multiple-conclusion rule,… read more here.
Keywords: multiple conclusion; deductive systems; conclusion rules; conclusion ... See more keywords