摘要
进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。
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.
出处
《工程数学学报》
CSCD
北大核心
2005年第1期128-132,共5页
Chinese Journal of Engineering Mathematics
基金
国家973项目(2003CB316902)
国家自然科学基金项目(60475019).
