知识蕴涵直觉主义逻辑系统

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。     

概率语义与蕴涵系统

本文我们引入适于初始联结符为和→的句子语言的概率语义,并证明通常我们使用的句子系统——蕴涵系统——相对这样的概率语义有可靠性和完全性。     

一个向上线序的命题时态逻辑PTL

命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子.它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质.PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性.     

论实质蕴涵、形式蕴涵与逻辑蕴涵

该文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵。从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。     

论蕴涵怪论的合理性

本文详细讨论了实质蕴涵的真实涵义，它与条件句、推论关系之间的联系与区别，分析了实质蕴涵与逻辑蕴涵之间的关系和误解，探讨了逻辑的性质及与科学推理的关系，从丽为实质蕴涵及其由其产生的所谓怪论并不怪作出了合理的辨护。     

Rough逻辑系统RSL与模糊逻辑系统Luk

基于rough集的偶序对(下近似,上近似)表示,通过改进基于rough集的逻辑系统L的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数。其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL,其语义是扩展的rough双Stone代数;同时,引入RSL-代数的概念,并证明了逻辑系统RSL的标准完备性定理(基于由近似空间确定的标准RSL-代数)。最后,说明了逻辑系统RSL是著名模糊逻辑系统Luk(即Lukasiewicz连续值逻辑系统)的语义扩张,从而从一个特殊的视角揭示了rough集与模糊逻辑的联系。     

对实质蕴涵若干问题的思考

以实质蕴涵和逻辑蕴涵为对象,通过对郁慕镛教授和袁正校教授的观点进行比较,对逻辑学里的一个非常重要的概念——蕴涵进行了分析和讨论,澄清关于实质蕴涵和逻辑蕴涵的若干误解.     

基于逻辑和语义视角的预设与蕴涵的鉴别

预设和蕴涵是两个密切相关的概念,对二者进行区别有助于准确地理解和使用自然语言.从逻辑和语义的角度出发,首先界定预设和蕴涵的概念,然后分析预设和蕴涵的关系;再提出预设和蕴涵的主要区别及鉴别方法.最后得出结论:对两个相关的概念进行鉴别的关键是概念清楚,关系明晰及结合多种普遍有效的鉴别方法.     

时态命题的对当关系及推理

本文探讨了时态逻辑中简单时态命题的形式、对当关系以及依据对当关系所进行的直接推理。     

格值逻辑系统的现状研究

讨论了格蕴含代数具有单调性的判定方法,对格蕴含代数的素空间的性质进行了总结,在L＊-格值逻辑的语义框架下,定义了L＊-格值逻辑上的直觉不分明化BCH-代数的概念,讨论了在该概念下的有关性质。并引入L集合范畴中的一些基本概念,研究了该范畴中的两种集合空间即格值函数空间与伪格值函数空间。对格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随的性质进行了研究。     

基于数理逻辑的知识表示

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。     

指示、英语时态系统与英语时态选用

指示是语言与语境的一个接口。英语时态系统的形成是操英语的人们在时间轴上切分客观世界的结果 ,分现在时态系统与过去时态系统 ,以现在时态系统为规范。在这两个系统中 ,分别以一般现在时与一般过去时为规范 ,其他时态都相对于各自的规范时态。英语时态的选用 ,一般先选用时态系统 ,再选用规范时态 ,然后根据需要选用其他时态。但英语时态系统的选用与体裁之间具有相关性。     

知识逻辑视野下的大学教师管理

随着现代大学制度在我国的建立,大学教师的科学管理愈显重要。作为一个以知识为基础的组织,大学在对教师的管理中,应以知识逻辑为基础进行制度选择,这是做好大学教师管理的关键所在。     

胡塞尔关于知识明证性思想的逻辑演进

胡塞尔的思想是以知识的确定性为中心而展开的。从知识明证性的学术地位和获得知识明证性的方法出发，能够充分探讨胡塞尔关于知识明证性的思想，可以看出胡塞尔的知识明证性思想是从个体明证性开始到主体间性，再到生活世界这样富有逻辑地展开的。     

知识联盟价值创造逻辑分析

文章简述了知识联盟的概念和创造价值的重要性,探讨了知识联盟价值创造的三种逻辑:互补性知识的综合利用、共同创造新知识及学习内化联盟伙伴的知识,并提出了促进知识联盟创造价值的措施。     

理想信息流逻辑的树图系统

依据巴维斯的信息通道理论,巴维斯、盖贝和哈特纳斯构造出表征完美信息流推理的信息流逻辑,但他们的信息流逻辑对信息通道理论中的相关直觉原则和信息通道之间的复合运算并没有充分体现,不能解释逻辑推理。针对巴维斯信息流逻辑的不足并根据信息流推理的特点,可以构造出表征完美信息流推理的理想信息流逻辑的树图系统并可证明它们的可靠性和完全性。     

英语进行时的修辞功能

英语进行时除了大家所熟悉的语法概念外,还具有描绘情景、委婉话语、加抒感情、动化静态等独特的修辞功能。     

情态动词的过去时形式

关于英语情态动词过去时形式是否有“时”的标记有两种不同的观点。通过反驳无时态论观点从而论证过去情态动词具有过去时态,并通过语义分析、示例用法,进一步阐述了情态动词在形与义都具有时态的特征。