格值时态命题逻辑LTP(X)的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。     

基于路径搜索的格值命题逻辑自动推理方法

提出一种基于路径搜索的自动推理算法．除了采取预处理外，还采用了动态的删除策略，使对大部分路径的搜索变成对一条路径搜索．可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定．文中还讨论了该算法计算的复杂性．     

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

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

箱梁剪力滞效应的梁格改进方法及精度分析

通过改变网格划分方式,对传统的梁格法进行改进,计算了单室以及双室简支箱梁的剪力滞效应.为获得改进梁格法的计算精度,分别与试验值以及基于板、实体单元的数值模型解进行对比,并给出了虚拟横梁刚度的建议取值.结果表明:改进的梁格法具备良好的剪力滞效应分析精度,梁格计算值总体偏大.其中,集中荷载作用下与试验值最大相差8.9%,与板单元值的最大误差为11.0%;集中荷载以及均布荷载作用下,双室箱梁的梁格值与实体值的最大误差分别为10.4%、6.8%.     

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

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

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

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

基于Petri网建模的语法分析的研究

在LR分析法理论的基础上,利用Petri网为语法分析这个庞大的系统建模,所建模型适用于广泛流行的LR文法,为语法分析提供了一种更为高效的途径,实现了基于Petri网建模的语法分析.     

有余格

本文较详细地讨论了有余格及其一些性质,为进一步深入研究格值逻辑和L一Fuzzy拓扑学创 造了一些有利条件。      

最大乘积型Fuzzy上下文无关文法与下推自动机

为了扩大现有研究的应用范围，基于最大乘积型Fuzzy文法与自动机引入了最大乘积型Fuzzy下推自动机的概念，并讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系．研究表明，当且仅当最大乘积型Fuzzy上下文无关文法产生的语言集能被最大乘积型Fuzzy下推自动机接受时，能达到自动识别最大乘积Fuzzy上下文无关语言的目的．     

格蕴涵代数

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

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.     

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.     

大学英语四级单词记忆方法探析

大学阶段英语学习的重点已从语法分析转到了语篇理解和信息获取,而这些目标主要是以词汇依托来实现的。为帮助学生在有限的时间里记忆更多的单词,笔者根据自己多年教学的心得体会,总结、归纳了实用有效的四级单词记忆方法,包括重复循环记忆法、词缀记忆法等等,并对具体方法的实施提出了自已的见解。     

L-不分明化环

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

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.