2. 您的位置
3. 首页
4. 期刊论文
5. A unified approximate reasoning theory suitable for both propositional calculus system L* and predic

A unified approximate reasoning theory suitable for both propositional calculus system L* and predic

来源 :中国科学F辑（英文版） | 被引量 : 0次 | 上传用户：liu7605136

【摘 要】

：

The concepts of metric R0-algebra and Hilbert cube of type R0 are introduced.A unified approximate reasoning theory in propositional caculus system L* and predi

【作 者】

：

WANG Guojun CHIN K.S DANG C.Y 

【机 构】

：

Institute of Mathematics,Research Center for Science,Department of Manufacturing Engineering and Eng

【出 处】

：

中国科学F辑（英文版）

【发表日期】

：

2004年期

【关键词】

：

metric R0-algebra Hilbert cube of type R0 metric Lindenbaum algebra of type R0 a 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

The concepts of metric R0-algebra and Hilbert cube of type R0 are introduced.A unified approximate reasoning theory in propositional caculus system L* and predicate calculus system K* is established semantically as well as syntactically, and a unified complete theorem is obtained.

其他文献

Apoptosis of Spodoptera litura larval hemocytes induced by heavy metal zinc

By adding different amount of zinc into the artificial medium of the insect larvae, the zinc-induced apoptosis of the larvae haemocytes of the herbivorous insec

期刊

heavy metalzincSpodoptera lituraapoptosis

Functions on discrete sets holomorphic in the sense of Isaacs, or monodiffric functions of the first

We study discrete analogues of holomorphic functions of one and two variables, especially those that were called monodiffric functions of the first kind by Rufu

期刊

monodiffric functions of the first kinddiscrete holomorphic functionsfunctions

Self-adjusted elastic action and its CBM pool-forming effect of the high rank coal reservoir

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

coalbed methanereservoirelasticityself-adjusted actionpool-forming effect

CR deformations for rational homogeneous surface singularities

In this paper, we will present a CR-construction of the versal deformations of the singularities Vn (～- )C2/Zn, n ∈ {2, 3, 4,…} defined by the immersions of C2

期刊

CR deformationobstruction

Interactions of a Femtosecond Intense Laser with Rare Gas Clusters in a Dense Jet

A study on the interactions of high intensity (～ 1016 W/cm2) femtosecond laser pulses with rare gas clusters in a dense jet is performed. Energy absorption by Ar

期刊

atomic clustersfemtosecond laserenergy absorptionhigh energy ions

Tilting modules over path algebras of Dynkin type and complete slice modules

Let T be a tilting A-module over a path algebra of Dynkin type.We prove that if the indecomposable direct summands of T are in the differentτ-orbits of the AR-

期刊

tilting modulepath algebraslice modulehammock

LIFE PREDICTION APPROACH FOR RANDOM MULTIAXIAL FATIGUE

According to the concept of critical plane, a life prediction approach for random multiaxial fatigue is presented. First, the critical plane under the multiaxia

期刊

Multiaxial fatigue Random loading Life prediction Critical plane Cycle counting

Adiabatic paths and pseudoholomorphic curves

We consider the (2+1)-dimensional Abelian Higgs model, governed by the Ginzburg-Landau action functional and describe the adiabatic limit construction for this

期刊

adiabatic pathGinzburg-Landau equationSeiberg-Witten equation

Equidistribution for meromorphic transforms and the ddc-method

In this paper we give an introduction to the notion of meromorphic transform.We describe some equidistribution problems and their solution, using the ddc-method

期刊

meromorphic mapcorrespondencecompact Kahler manifold

Power Absorption of High Frequency Electromagnetic Waves in a Partially Ionized Plasma Layer in Atmo

We have studied the absorption, reflection, and transmission of electromagnetic waves in an unmagnetized uniform plasma layer covering a metal surface in atmosp

期刊

electromagnetic waveselectromagnetic waves interactions with plasma