Axiomatization of the De Morgan type rules (Q2640587)

Given a set of propositional connectives L, let \(| \sim_ L=\vDash_{2_ L}\cap \vDash^*_{2_ L}\), where \(\vDash_{2_ L}\) and \(\vDash^*_{2_ L}\) are the consequence relations in the 2-valued propositional logics defined by the logical matrix (\(\{\) 0,1\(\}\),L,\(\{\) \(1\}\)) and its dual (\(\{\) 0,1\(\}\),L,\(\{\) \(0\}\)), respectively. A De Morgan type rule is a rule in \(\wedge\), \(\vee\), \(\neg\) which is valid in \(| \sim_{\{\wedge,\vee,\neg \}}\). It is proved that, for \(L=\{\wedge,\vee,\neg \}\) and \(L=\{\to \}\), \(| \sim_ L\) is finitely based in the sense that there is a finite set R of finitary rules in L such that all sequential rules valid in \(| \sim_ L\) are derivable from R. These results essentially rest on special properties of some equational theories.