Generalized Deduction Theory of the Formal Deductive System PL
Yang Aili · 2006
The definition of formal deductive system PL* corresponding to pseudo-R0algebras and some important properties of formal deductive system PL* are given. [F]-completeness of formal deductive system PL*are proved. At last,the generalized deduction theory of the formal deductive system PL* is given.