Photo by dylan_nolte from unsplash
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… Click to show full 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, which represents the disjunction property. Also, the conversion algorithm of single- and multiple-conclusion deductive systems into each other is studied.
Keywords:
multiple conclusion;
deductive systems;
conclusion rules;
conclusion;
disjunction property
Journal Title: Axioms
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Axioms
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!