Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property
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, which represents the disjunction property. Also, the conv...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2019-08-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-1680/8/3/100 |