常识推理基础逻辑系统M的完全性

对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性.Γ-典范模型方法是有穷方法.如果Γ有穷,得到的典范模型有穷.这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的.     

基于K4的超模态逻辑

D.M.Gabbay在“超模态逻辑理论：模态逻辑中的模转换”一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑si。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4［T·,K·］,主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。     

条件句逻辑完全性问题探微初步

直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。     

试论财务会计概念框架的演进逻辑——基于国际比较的视角

财务会计概念框架的演进变迁蕴含一定的逻辑规律。通过对我国类财务会计概念框架形成和演进的历史回顾以及国际上主要的概念框架的发展历程的探讨,可以发掘出概念框架演进所遵循的逻辑路径,同时结合契约理论作为工具和平台对概念框架的演进逻辑进行进一步阐释,并且通过比较分析中外概念框架的发展过程,对我国概念框架的建设提供建议。     

多模态Sahlqvist公理模式性质研究

多模态Sahlqvist公理模式是单模态Sahlqvis公式在多模态逻辑中的扩展.在多模态逻辑中,Sahlqvist公理模式对应的框架具有一阶性质,该框架的性质可以用关系方程进行描述.任意包含Sahlpvist公理模式的正规多模态逻辑系统相对于该Sahlqvist公理模式对应的一阶框架类都是完全的.Sahlqvist公理模式对多模态逻辑系统具有更强的刻画能力.     

逻辑转喻的认知语义阐释

以往对逻辑转喻的研究主要以Pustejovsky的生成词库理论为代表,但该理论对逻辑转喻的解释力不足。因而将逻辑转喻置于认知语义学视角下,基于Fillmore的语义框架理论和Croft的认知域凸显理论建构逻辑转喻的框架元素凸显模式,将逻辑转喻理解为概念转喻在句法层面的意义体现,逻辑转喻中充当论元的事物名词作为语义框架中一部分以认知凸显方式为整个语义框架提供心理可及。     

条件句逻辑完全性问题探微初步

直接定义模型，不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德·纽特在Topicsin Conditional Logic一书中给出的条件句逻辑系统W为出发点，引入了W°=W＋RCEA，并证明了妒的框架完全性，进而讨论RCEA的取舍对条件句逻辑完全性的影响，指出没有RCEA的条件句逻辑直接定义模型，不定义框架是有原因的，而有RCEA的系统则可以进一步讨论框架完全性问题。     

基于目标成本管理的工程总承包施工阶段直接费控制

结合《铁水联运技术标准及关键技术研究》项目,介绍了铁水联运信息系统逻辑框架设计路线。根据我国铁水联运业务流程,定义了铁水联运电子商务系统、铁水联运营销系统、铁水联运货物运输管理系统、铁水联运办公信息系统等4个主系统及13个子系统,并以铁水联运电子商务系统为例详细说明逻辑框架设计的过程。铁水联运逻辑框架设计,为物理框架设计等后续工作建立了基础。     

基于莱布尼兹偶然真理概念的逻辑

事实的真理是偶然的,它们的反面是可能的.基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出.基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的.通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的“弱框架”下是可靠的且完全的.偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理“不可证真理”等一类哲学问题.     

蒯因的哲学框架与其本体论的 融贯性问题辨析

蒯因后期主张逻辑仅仅是带等词的初等逻辑，既把带等词的初等逻辑作为其哲学框架，又承认物理对象（最终归约为类）和类，因而其哲学框架和本体论是不融贯的。弄清导致蒯因哲学理论不融贯的原因，让集合论充当蒯因的哲学框架，调和蒯因的哲学框架和本体论之间的矛盾，对于科学理论的解释具有重要的理论价值。