格值命题逻辑系统Lvpl中的推理规则

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则．这些推理规则由语法和语义两部分组成，且在两部分之间存在一定的协调水平．证明了对于适当的语法语义协调水平，当Lvpl的公式集的L型模糊集为同态映射时，它们关于这几类推理规则都在一定程度上封闭.     

格值命题逻辑系统LP(X)中广义文字的α-归结域

格值命题逻辑系统LP（X）中广义文字的α-归结域的研究，是基于格值命题逻辑系统LP（X）的α-归结原理研究的继续．该逻辑系统的逻辑真值域是格蕴涵代数．讨论了LP（X）的常量、命题变元和一些广义文字的性质，并得到了它们的α-归结域。     

基于有限格蕴涵代数的格值命题逻辑语义系统

以有限格蕴涵代数作为逻辑系统的真值域，在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统，研究了在A水平上系统的赋值和公式的可满足性等基本定义，证明了系统“有效性”的可判定性并给出了判定算法。     

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

RBAC模型时态约束和层次继承的研究与分析

具有层次继承和时态特性的角色访问控制模型是目前安全领域的研究热点,其理论基础是角色层次和时态周期理论;为此在分析基于条件时态的角色访问控制模型(CT-RBAC)和一般时态的角色访问控制模型(GTRBAC)的时态层次继承语义的基础上,对CT-RBAC访问控制模型的条件周期表达式进行扩展,将标识引入到条件周期表达式中,实现访问控制模型的条件约束多样性和灵活性。同时结合GTRBAC模型的层次继承语义,对角色层次继承的相关语义进行了分析,给出了角色层次继承的相关状态断言和谓词逻辑。并进一步完善了SSD权责分割策略。     

格蕴涵代数

本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质, 为从语义的角度研究格值逻辑系统奠定了必要的基础.      

时态命题演算T1的树枝图及其应用

将命题演算语义树理论扩充到非标准逻辑，建立了时态命题演算Ｔ１的树枝图，并证明这种枝图从语义上能判别Ｔ１的有效式，Ｔ１的无效式，从语法上能判别Ｔ１系统的定理，非定理的其它公式。     

基于信任度的增量时态关联规则算法设计

对时态关联规则及其支持度和信任度进行了一般描述,推导了时态关联规则的一些增量信任度性质,这些性质在增量式设计的开采算法中,有着一定的指导作用。     

有序逻辑程序的回答集语义

为了统一并扩充回答集语义，在带有规则序的逻辑程序中，基于不动点原理，采用了处理优先序的新方法——直接在规则迭代过程中考虑规则序的作用．用此方法得到了9种不同的回答集语义，并讨论了各种语义之问的关系；证明了它们在包含意义下不是构成线序结构，而是一般的格结构；在层次逻辑程序中，该类回答集语义都退化为普通的回答集语义．     

Src激酶在脊髓背角长时程增强的诱导和维持中的作用

目的 探讨Src激酶在大鼠脊髓背角C-纤维诱发电位长时程增强(LTP)的诱导和维持中的作用.方法 细胞外记录技术在脊髓腰膨大部记录背角浅层神经元C-纤维诱发电位.结果 ①Src激酶的选择性抑制剂Genistein(200μmol/L)或PP2(100μmol/L)对脊髓背角C-纤维诱发电位的基础电位没有影响,但可阻断脊髓背角LTP的诱导.②Genistein或PP2呈时间依赖性逆转脊髓背角LTP.在LTP诱导后15min,脊髓局部给予Genistein(200μmol/L)或PP2(100μmol/L)可完全逆转LTP.但是,同样浓度的Genistein或PP2在LTP诱导后30min,均不能逆转业已建立的LTP.结论 脊髓背角Src激酶的激活参与C-纤维诱发电位LTP的诱导和早期维持.     

J-Resolution Fields of Generalized Literals of L14 P（X）

Introduction In order to study the lattice-valued logic system,Xu[1]proposed the concept of lattice implication alge-bra by combining the lattice with the implication alge-bra and discussed its properties systematically. InRefs.[2,3], a lattice-valued propositional logic sys-tem was established using the concepts of free alge-bra, which corresponds to the lattice implication alge-bra, and the semantic and syntactical problems of thissystem were discussed. Xu et al[4]extended the reso-lution p…     

α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)

This paper is focused on automated reasoning based on classical propositional logic and lattice-valued propositional logic LP(X).A new method of automated resasoning is given ,and the soundness and completeness theorems of this method are proved.     

Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra

As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.     

Lattice-valued modal propositional logic based on M-lattice implication algebras

The modal lattice implication algebra (i. e., M-lattice implication algebra) is introduced and its properties are investigated. The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field, and the syntax and semantic of the logical system are discussed, respectively.     

L-不分明化环

运用应明生教授提出的完全剩余格L值逻辑语义的方法引入了L—不分明化环的概念,然后讨论了L—环的若干性质.     

Strong Completeness of Medium Logic System

The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.     

扰动模糊逻辑算子组

在扰动模糊逻辑命题及其算子的基础上,定义了扰动模糊逻辑算子组的概念,讨论了扰动模糊逻辑算子组的性质.从而使经典模糊逻辑的概念及性质得到进一步的推广,同时也揭示了在这种由一维到二维的推广中存在的问题.最后,从代数观点研究了扰动模糊逻辑算子组与经典模糊逻辑算子组之间的同态关系.