Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

G(o)del逻辑和L*逻辑中公式的真度分布

研究了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度的分布情况. 结果表明在G\"{o}del逻辑系统和$L^\ast$逻辑系统中含有$n$个原子命题的公式($n$元公式)的真度集分别为$\{\frac{i}{(n+ 1)!}\vert 0 \le i \le (n + 1)! ,i \in N\}$和$\{\frac{i}{(n + 1)!}\vert 0\le i \le 2^n(n + 1)!,i \in N\}.$ 进而得到了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度集均为[0,1]上的有理数集. 最后,还给出了两系统中公式的相似度,伪距离的分布情况.     

A topological characterization of consistency of logic theories in propositional logic

The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the first author. It is proved in this note that a closed logic theory Γ is consistent if and only if it contains no interior point in the logic metric space. Moreover the relationship between logic closedness and topological closedness of a logic theory Γ is discussed. Finally, the concept of full divergency is also characterized by means of the topological concept of density. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

逻辑度量空间

取赋值格为［０,１］,用积分工具引入了公式的真度和相似度的概念,并从而在公式集Ｆ上建立了伪距离,为近似推理提供了一种可能的框架．     

Lukasiewicz n值命题逻辑中命题的真度理论

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。     

Hierarchical structure and applications of fuzzy logical systems

This paper focuses on hierarchical structures of formulas in fuzzy logical systems. Basic concepts and hierarchical structures of generalized tautologies based on a class of fuzzy logical systems are discussed. The class of fuzzy logical systems contains the monoidal t-norm based system and its several important schematic extensions: the ?ukasiewicz logical system, the Gödel logical system, the product logical system and the nilpotent minimum logical system. Furthermore, hierarchical structures of generalized tautologies are applied to discuss the transformation situation of tautological degrees during the procedure of fuzzy reasoning.     

Fuzzy Horn logic I

The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability of formulas from theories. Our basic structure of truth degrees is a complete residuated lattice. We derive a Pavelka-style completeness theorem (degree of provability equals degree of truth) from which we get some particular cases by imposing restrictions on the formulas under consideration. As a particular case, we obtain completeness of fuzzy equational logic.     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

关于模糊数贴近度问题的研究

利用模糊集和区间数的贴近度理论,讨论了模糊数的贴近度问题.通过区间数与模糊数之间的关系,根据区间数贴近度的一般表示形式,给出了构造一些模糊数贴近度的具体计算公式的方法;并通过实例说明了所得到的贴近度公式的有效性和实用性,解决了常用贴近度公式所不能解决的问题.     

逻辑系统$G_3$中命题的真度值之集在[0,1]上的分布

利用势为3的均匀概率空间的无穷乘积在G■del三值命题逻辑中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础．     

逻辑系统G3在非均匀概率空间下命题的真度理论

在离散概率测度空间下定义了三值逻辑（p,q,r）测度，并相应地定义了命题逻辑系统中公式的真度概念；在三值逻辑（1/6．1/3．1/2）测度和（1/7．2/7.4/7）测度下证明了命题逻辑系统G3中全体公式的真度值之集在[0．1]上是稠密的，并给出真度的表达式；利用真度定义公式的相似度和一种伪距离，为—般离散概率空间下三值命题的近似推理理论提供一种可能的框架．     

可逆矩阵的高次伴随矩阵

用数学归纳法推出了可逆矩阵的高次伴随矩阵的公式,并结合可逆矩阵的基本公式得出了可逆矩阵的高次伴随矩阵的行列式和逆矩阵,给出了可逆矩阵的高次伴随矩阵的特征值和特征向量的表示公式,最后讨论了若干个可逆矩阵的乘积的高次伴随矩阵.     

The construction of numerical integration rules of degree three for product regions

Numerical integration formulas in n-dimensional Euclidean space of degree three are discussed. In this paper, for the product regions a method is presented to construct numerical integration formulas of degree three with 2n real points and positive weights. The presented problem is a little different from those dealt with by other authors. All the corresponding one-dimensional integrals can be different from each other and they are also nonsymmetrical. In this paper an n-dimensional numerical integration problem is turned into n one-dimensional moment problems, which simplifies the construction process. Some explicit numerical formulas are given. Furthermore, a more generalized numerical integration problem is considered, which will shed light on the final solution to the third degree numerical integration problem.     

A class of finite groups with complete character degree graphs

In this paper, we construct a new class of finite groups whose common divisor graphs are complete graphs, while there is no prime dividing all the nontrivial degrees.     

Prime Divisibility Among Degrees of Solvable Groups

Abstract

Let G be a finite, nonabelian, solvable group. Following work by D. Benjamin, we conjecture that some prime must divide at least a third of the irreducible character degrees of G. Benjamin was able to show the conjecture is true if all primes divide at most 3 degrees. We extend this result by showing if primes divide at most 4 degrees, then G has at most 12 degrees. We also present an example showing our result is best possible.     

A geometric degree formula for A-discriminants and Euler obstructions of toric varieties

We give explicit formulas for the dimensions and the degrees of A-discriminant varieties introduced by Gelfand, Kapranov and Zelevinsky. Our formulas can be applied also to the case where the A-discriminant varieties are higher-codimensional and their degrees are described by the geometry of the configurations A. Moreover combinatorial formulas for the Euler obstructions of general (not necessarily normal) toric varieties will be also given.     

On a Pair of Operator Series Expansions Implying a Variety of Summation Formulas

With the aid of Mullin-Rota's substitution rule, we show that the Sheffertype differential operators together with the delta operators ? and D could be used to construct a pair of expansion formulas that imply a wide variety of summation formulas in the discrete analysis and combinatorics. A convergence theorem is established for a fruitful source formula that implies more than 20 noted classical fomulas and identities as consequences. Numerous new formulas are also presented as illustrative examples. Finally, it is shown that a kind of lifting process can be used to produce certain chains of(∞~m) degree formulas for m ≥ 3 with m ≡ 1(mod 2) and m ≡ 1(mod3), respectively.     

Link invariants via counting surfaces

A Gauss diagram is a simple, combinatorial way to present a knot. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting (with signs and multiplicities) subdiagrams of certain combinatorial types. These formulas generalize the calculation of a linking number by counting signs of crossings in a link diagram. Until recently, explicit formulas of this type were known only for few invariants of low degrees. In this paper we present simple formulas for an infinite family of invariants in terms of counting surfaces of a certain genus and number of boundary components in a Gauss diagram. We then identify the resulting invariants with certain derivatives of the HOMFLYPT polynomial.     

n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理

利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.     

Graph presentations for moments of noncentral Wishart distributions and their applications

We provide formulas for the moments of the real and complex noncentral Wishart distributions of general degrees. The obtained formulas for the real and complex cases are described in terms of the undirected and directed graphs, respectively. By considering degenerate cases, we give explicit formulas for the moments of bivariate chi-square distributions and 2 × 2 Wishart distributions by enumerating the graphs. Noting that the Laguerre polynomials can be considered to be moments of a noncentral chi-square distributions formally, we demonstrate a combinatorial interpretation of the coefficients of the Laguerre polynomials.