On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532)

Summary: In this paper, two axiomatic theories \(\mathbf{T}^-\) and \(\mathbf{T}'\) are constructed, which are dual to Tarski's theory \(\mathbf{T}^+\) (1930) of deductive systems based on classical propositional calculus. While in Tarski's theory \(\mathbf{T}^+\) the primitive notion is the classical consequence function (entailment) \(Cn^+\), in the dual theory \(\mathbf{T}^-\) it is replaced by the notion of Słupecki's rejection consequence \(Cn^-\) and in the dual theory \(\mathbf{T}'\) it is replaced by the notion of the family \textit{Incons} of inconsistent sets. The author has proved that the theories \(\mathbf{T}^+\), \(\mathbf{T}^-\), and \(\mathbf{T}'\) are equivalent.