Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Deductive systems with multiple-conclusion rules and the disjunction property |
scientific article |
Statements
Deductive systems with multiple-conclusion rules and the disjunction property (English)
0 references
24 March 2020
0 references
Summary: 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 conversion algorithm of single- and multiple-conclusion deductive systems into each other is studied.
0 references
multiple conclusion rule
0 references
disjunction property
0 references
metadisjunction
0 references
0 references