On the Strong Completeness of the Formal System L
Daowu Pei · Gongcheng shuxue xuebao · 2005
General deduction and strong completeness of the formal deductive system L? are further studied. For arbitrary formula set Γ, a kind of new algebraic systems, called R0(Γ) algebras, are proposed. By using some important algebraic tools such as subalgebra, ?lter theory and subdirect product decomposition theory, strong completeness theorem of the system L? is proved.