格值模态命题逻辑及其完备性

文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QML*,并证明了系统B及系统QML*的完备性.     

多值模态逻辑的计量化方法

在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.     

逻辑系统MTL▽及其完备性

在逻辑系统MTL（Monoidal t-norm based Logic）中引入一元逻辑连接词▽,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL_▽逻辑系统。为了进行相应的语义研究,在MTL代数的基础上,引入一元算子▽,提出MTL_▽代数的概念,并证明了MTL_▽代数的同构定理。基于线性MTL_▽代数证明了逻辑系统MTL_▽的完备性。