概率逻辑学基本定理在多值命题逻辑系统中的推广

通过引入概率测度空间,在n值Lukasiewicz命题逻辑系统中提出了满足Kolmogorov公理的命题公式的概率;证明了概率逻辑学基本定理,并将概率逻辑学基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计;将概率逻辑学的基本方法引入计量逻辑学,建立了更一般的逻辑度量空间;通过概率逻辑学基本定理,证明了逻辑度量空间中概率MP,HS规则,它是真度MP,HS规则的推广.     

Deep sequent systems for modal logic

We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference but otherwise stay very close to Gentzen’s sequent calculus, in particular they enjoy a subformula property in the literal sense. No semantic notions are used inside the proof systems, in particular there is no use of labels. All their rules are invertible and the rules cut, weakening and contraction are admissible. All systems admit a straightforward terminating proof search procedure as well as a syntactic cut elimination procedure.      

The logic of integration

We develop a model theoretic framework for studying algebraic structures equipped with a measure. The real line is used as a value space and its usual arithmetical operations as connectives. Integration is used as a quantifier. We extend some basic results of pure model theory to this context and characterize measurable sets in terms of zero-sets of formulas.      

A simple construction of representable relation algebras with non‐representable completions

We give a simple new construction of representable relation algebras with non‐representable completions. Using variations on our construction, we show that the elementary closure of the class of completely representable relation algebras is not finitely axiomatizable (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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)     

MV-代数上的度量结构及其在多值逻辑中的应用

设M是一个MV-代数,Ω是从MV-代数M到MV-单位区间的全体赋值之集,μ是Ω上的概率测度.本文基于μ在M中引入了元素的尺寸和元素对之间的相似度概念,并由此在M上建立了度量结构.给出了MV-代数上的度量结构在多值逻辑中的一些应用.     

Mining information from time series in the form of sentences of natural language

The goal of this paper is to provide a more detailed explanation of the principles how special formulas that characterize properties of trend of time series can be formed and how they are interpreted. Then we show how these formulas can be used in a tectogrammatical tree that construes special sentences of natural language, using which information on behavior of time series is provided. We also outline the principles of mining this information. The last part is devoted to application of the theory of intermediate quantifiers to mining summarized information on time series also in sentences of natural language.     

基于混合遗传算法的MPRM最小化

MPRM(Mixed-Polarity Reed-Muller)最小化是RM(Reed-Muller)电路逻辑综合过程中一个非常重要的阶段,对于输入数较多的布尔函数,传统遗传算法(Genetic Algorithm,GA)在解决MPRM最小化问题时收敛过早.提出了一种基于混合遗传算法(Hybrid Genetic Algorithm,HGA)的MPRM最小化算法,该算法将基于相异度的局部改善策略结合到GA算法的迭代过程中.局部改善策略对种群中最佳个体和与之相异度最大的个体实施交叉操作生成新个体,并将新个体与最佳或最差个体进行竞争.将所提算法应用于一组具有较多输入数的MCNC基准电路,并与其他智能MPRM最小化算法进行比较.结果表明,局部改善策略能够避免算法陷入局部极小,增强了全局收敛能力.与模拟退火遗传算法(Simulated Annealing Genetic Algorithm,SAGA)相比,HGA算法在获得类似结果的前提下提高了时间效率;与Hybrid multi-valued DPSO算法相比,HGA在得到基本相同的算法结果时,时间效率亦基本相同.     

On modal logics arising from scattered locally compact Hausdorff spaces

For a topological space X, let $\mathsf{L}(X)$ be the modal logic of X where □ is interpreted as interior (and hence ◇ as closure) in X. It was shown in [3] that the modal logics S4, S4.1, S4.2, S4.1.2, S4.Grz, ${\mathsf{S4}.\mathsf{Grz}}_n$ ($n\ge 1$), and their intersections arise as $\mathsf{L}(X)$ for some Stone space X. We give an example of a scattered Stone space whose logic is not such an intersection. This gives an affirmative answer to [3, Question 6.2]. On the other hand, we show that a scattered Stone space that is in addition hereditarily paracompact does not give rise to a new logic; namely we show that the logic of such a space is either S4.Grz or ${\mathsf{S4}.\mathsf{Grz}}_n$ for some $n\ge 1$. In fact, we prove this result for any scattered locally compact open hereditarily collectionwise normal and open hereditarily strongly zero-dimensional space.