MP与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性 …

本文基于中介命题逻辑的扩张系统ＭＰ之命题联结词含量的完全性结果,进上步证明了Ｌｕｋａｓｉｗｉｃｚ三值逻辑Ｌ３、Ｐｏｓｔ三值逻辑系统Ｐ３、Ｓｌｕｐｅｃｋｉ三值逻辑系统Ｓ３和Ｗｏｏｄｒｕｆｆ三值逻辑系统Ｗ３等的命题联结词的含量也是完全的,从而着眼于形式系统,可知ＭＰ、Ｌ３、Ｐ３、Ｓ３、Ｗ３的语言表达的能力也都是等效的,又若这些三值系统都是可靠的完备的,则可进上步证明这些三值系统立足于形式揄也都是互相等     

不完全三值逻辑在语言表达上的相互比较

深入讨论各种命题联结词含量不完全的三值逻辑的语言表达的能力,完全弄明白了三值系统L3,L3,B3,B3,K3,K3,MP的语言表达能力的等效或不等效关系,特别应当指出的一个结论是：中介命题逻辑MP作为一种命题联结词含量不完全的三值系统而言,它和其他命题联结含量不完全的三值逻辑L3,L3Δ,B3,B3Δ,K3,K3Δ的语言表达能力都不等效,从而也由此体现出MP的一种自身特色。     

命题逻辑系统L*的有效集

针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。     

逻辑系统,W,W_k中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。     

中介逻辑命题演算扩张系统MP^＊的完备性

中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义:     

L~*系统的一种改进系统L_0~*

研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径     

模糊逻辑~*和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统*、0*的性质以及它们与F.E steva和L.G odo提出的M TL、IM TL和NM的关系出发,借助代数方法证明了*和NM中的公理(L1*0)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式((L*W)代替。这一结果简化了*和NM的公理系统。     

对逻辑联结词再理解

高中数学新教材“简易逻辑”中规定 :“或”、“且”、“非”这些词叫做逻辑联结词 .不含逻辑联结词的命题是简单命题 .由简单命题与逻辑联结词构成的命题是复合命题 .根据以上定义 ,如何解释“方程 (ｘ - 1 )(ｘ - 2 ) =0的根是ｘ =1或ｘ =2”是简单命题还是复合命题呢 ?如果是简单命题 ,那么又怎样对语句中的“或”作解释呢 ?如果是复合命题 ,那么由“方程 (ｘ - 1 )(ｘ - 2 ) =0的根是ｘ =1”是假命题 ,“方程(ｘ - 1 ) (ｘ - 2 ) =0的根是ｘ =2”也是假命题得 :复合命题“方程 (ｘ - 1 ) (ｘ - 2 ) =0的根是ｘ =1或ｘ =2”也是假命题 .…     

模糊逻辑系统Luk和L*中理论相容度的计算公式(III)

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题.首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件.     

基于真度理论的α-反向三Ⅰ问题的形式解

在多值逻辑系统L*n中,基于真度理论提出了模糊推理的α-反向三Ⅰ问题,并给出了α-反向三ⅠMP、α-反向三ⅠMT问题解的具体形式,在系统L*n中建立了α-反向三Ⅰ问题的形式化推理机制,为模糊推理的α-反向三Ⅰ算法奠定了逻辑基础。     

扰动模糊命题逻辑的代数结构及其广义重言式性质

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.     

Basic Propositional Calculus I

We present an axiomatization for Basic Propositional Calculus BPC and give a completeness theorem for the class of transitive Kripke structures. We present several refinements, including a completeness theorem for irreflexive trees. The class of intermediate logics includes two maximal nodes, one being Classical Propositional Calculus CPC, the other being E₁, a theory axiomatized by T → ⊥. The intersection CPC ∩ E₁ is axiomatizable by the Principle of the Excluded Middle A V ∨ ?A. If B is a formula such that (T → B) → B is not derivable, then the lattice of formulas built from one propositional variable p using only the binary connectives, is isomorphically preserved if B is substituted for p. A formula (T → B) → B is derivable exactly when B is provably equivalent to a formula of the form ((T → A) → A) → (T → A).     

电路问题的多角度分析

从数理逻辑、事件的独立性和指数分布函数等三个角度对电路问题进行分析,介绍不同数学知识在电路问题中的应用.     

A coding method for a sequent calculus of propositional logic

The paper deals with a coding method for a sequent calculus of the propositional logic. The method is based on the sequent calculus. It allows us to determine if a formula is derivable in the calculus without constructing a derivation tree. The main advantage of the coding method is its compactness in comparison with derivation trees of the sequent calculus. The coding method can be used as a decision procedure for the propositional logic.     

Some applications of propositional logic to cellular automata

In this paper we give a new proof of Richardson's theorem [31]: a global function G_?? of a cellular automaton ?? is injective if and only if the inverse of G_?? is a global function of a cellular automaton. Moreover, we show a way how to construct the inverse cellular automaton using the method of feasible interpolation from [20]. We also solve two problems regarding complexity of cellular automata formulated by Durand [12] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the linear Lindenbaum algebra of Basic Propositional Logic

We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A secondary semantics for Second Order Intuitionistic Propositional Logic

In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

An algebra of sentences of the quite intuitionistic protothetics, that is, an intuitionistic propositional logic with quantifiers augmented by the negation of the excluded middle, is a faithful model of intuitionistic propositional logic.