Some properties of the roots of theories in propositional logic systems ?
Some properties of the roots of theories, and the relationship between the sets D(?) D ( ? ) of all conclusions of two different theories in the classical propositional logic system, ?ukasiewicz propositional logic system, and the R0 R 0 -propositional logic system are studied. It is proved that D(?) D ( ? ) is completely determined by its root whenever ? ? has a root, and the construction of the roots is given.
root propositional logic system ? ? -conclusion ? ? ? ? ? deduction theorem divergence degree