21世纪,计算机科学的发展进入了知识处理和智能模拟领域。构造逻辑系统描述规则认知过程的特征,进行规则表达与处理,研制新型软件,这已是当代科技发展的要求,是逻辑学发展最有生命力的方向。这一方向的工作路线是首先通过对人类规则认知过程的分析,利用形式化方法构造反映规则认知特征的逻辑系统;然后构造基于上述逻辑系统的自动推理系统,并在此基础上研制具有知识表达与处理功能的软件。基于此,我们必须对规则可变的逻辑系统展开研究,研究的重要意义自不待言,本文就不同结构的逻辑系统之间的相互作用进行了较为深入系统的研究,得出了规则可变逻辑的相关结论。首先,作者对逻辑系统的定义理论的发展做了探讨,并建立了一般逻辑系统的代数结构,这是研究逻辑系统结构可变的基础。然后,作者探讨了把一般系统抽象为推演系统后,怎样的推演系统才是逻辑系统,即主要讨论了逻辑系统的完全性问题。构造了一种适合于一切命题逻辑的语义学,使得所有的推演系统对于它都是完全的。并在这种语义学中讨论推演系统的完全性。并利用这种完全性简单地讨论怎样的推演系统是逻辑系统。作者以模型论为工具,研究了逻辑系统结构的动态演化情况,主要研究三种主要的类型:一个逻辑系统规则递增时的逻辑系统构造演化模型;两个逻辑系统规则相容时的结构演化模型;规则具有优先时序的逻辑系统结构演化模型。作者最后研究了能描述操不同结构的的多个逻辑系统中规则推理的逻辑语言及其Kripke语义。为其建立了完备的形式化演绎系统。基于可变规则的逻辑系统动态演化,在计算机科学和其他自然科学与社会科学领域有一定的理论和实践意义。