Axiomatization of the De Morgan type rules (Q2640587)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiomatization of the De Morgan type rules |
scientific article |
Statements
Axiomatization of the De Morgan type rules (English)
0 references
1990
0 references
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.
0 references
consequence relations
0 references
logical matrix
0 references
De Morgan type rule
0 references
finitely based
0 references
sequential rules
0 references
equational theories
0 references