minimal propositional calculus

用法例句

To meet the application needs of the incomplete information database,based on original connectives ∧,∨,→, and μ,a new three-valued logic propositional calculus system M.

构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。

Methods At first,through the study of the common characteris ties of fuzzy proposi- tional calculus systems,a reasoning operator is obtained on the powerset of fomula set which is satisfied by general fuzzy propositional calculus system;Secondly,with the aid of the thought of cstablishing topological space with to- pological closure operator,the theory of reasoning closure space i.

方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论。

The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic systems ,W,W k , that are relevant to the former in semantics, has been studied, both of them are first proposed by professor Guo jun Wang.

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

The authors give a brief introduction to Hilbert s type intuitionistic system of first order sentential calculus,and prove some theorems of this system by logical deduction method.

简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 。

Two intuitionistic systems of firstorder sentential calculus, Hilbert s type(HSI) and natural deduction type(NDSI), were introduced.

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关

This paper introduces a method for propositional logic calculation.

介绍了命题逻辑演算方法。

MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system,and it is used to deal with the incomplete information in the database.

MP~M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统。

The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic system 、W、W k, that are relevant to the former in semantics, have been studied, both of which are first proposed by Professor Guo jun Wang.

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 。

Formalization of Propositional Calculus Form Systems in Isabelle/HOL;

命题演算形式系统在Isabelle/HOL中的形式化

Hilbert s Type Intuitionistic Systems of First Order Sentential Calculus;

一阶命题演算的希尔伯特型直觉主义系统

Anmotation for the Proof Axiomatic Independence of Proposotional Calculas;

关于命题演算公理系统独立性证明的注记

We derived propositions from axioms

我们从原理演绎出命题。

Lifecycle of Modeling Business Process Based on Pi Calculus

用Pi演算为业务过程建模的生命周期

On the Beginning of Speeches with Topics Assigned --One of the Originality and Techniques of Speeches;

命题演讲论开头——演讲的创意与技巧之一

One of the propositions in a deductive argument.

前提演绎论证中的命题之一

Design of Artificial Life Demo System Based on Genetic Algorithm

基于遗传算法的人工生命演示系统设计

It is a question of being a tightrope walker or not.

这是一个是否算得上钢索演员的问题。

Backtracking techniques can be encoded by fairly short solution programs.

回溯演算法可以写成很短的解题程式。

Aplication Study of Solution to TSP Problem of Evolutionary Algorithm;

求解TSP问题的演化算法应用研究

Research on Hybrid Evolutionary Algorithm of Solving Traveling Salesman Problem;

求解TSP问题的混合演化算法研究

The Application of EC to Solve Search & Optimization Problems;

演化计算在搜索与优化问题中的应用

An Evolutionary Algorithm for Time-limited TSP Problem;

一个求解有时限TSP问题的演化算法

Hybrid differential evolution algorithm for vehicle scheduling problem with soft time windows

求解VSPSTW问题的混合差分演化算法

Solving Shubert function optimization problem by using evolutionary algorithm

一种求解Shubert函数优化问题的演化算法

Proposition relativity and logic calculation in probabilistic logic;

概率逻辑中的命题相关性与逻辑运算

On the Equivalence of Several Propositions in Normal Solution Operators;

关于正规能解算子几个命题的等价性