Next Article in Journal
Mathematical and Numerical Modeling of On-Threshold Modes of 2-D Microcavity Lasers with Piercing Holes
Next Article in Special Issue
On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers
Previous Article in Journal
C*-Algebra Valued Fuzzy Soft Metric Spaces and Results for Hybrid Pair of Mappings
Previous Article in Special Issue
Review of “The Significance of the New Logic” Willard Van Orman Quine. Edited and Translated by Walter Carnielli, Frederique Janssen-Lauret, and William Pickering. Cambridge University Press, Cambridge, UK, 2018, pp. 1–200. ISBN-10: 1107179025 ISBN-13: 978-1107179028
Open AccessArticle

Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property

Metropolitan Telecommunications, New York, NY 10041, USA
Axioms 2019, 8(3), 100; https://doi.org/10.3390/axioms8030100
Received: 9 July 2019 / Revised: 18 August 2019 / Accepted: 19 August 2019 / Published: 30 August 2019
(This article belongs to the Special Issue Deductive Systems)
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. View Full-Text
Keywords: multiple conclusion rule; disjunction property; metadisjunction multiple conclusion rule; disjunction property; metadisjunction
Show Figures

Figure 1

MDPI and ACS Style

Citkin, A. Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property. Axioms 2019, 8, 100.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop