Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra

来源 :上海交通大学学报（英文版） | 被引量 : 0次 | 上传用户：joui248369

【作者】

：

XU Wei-tao XU Yang

【机构】

：

Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China;College

【出处】

：

上海交通大学学报（英文版）

【发表日期】

：

2012年2期

【关键词】

：

automated reasoning lattice-valued logic lattice implication algebra generalized

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

Looper-Tension H∞ Control for Hot Strip Finishing Mills

期刊

H∞ controllinear matrix inequality (LMI)looper and tension controlhot strip f

Establishment of Particular Methods in Casting Simulation

期刊

cast ironshake-out timingcooling platesimulation

Thermal Flow Simulation of Twin-Roll Casting Magnesium Alloy

期刊

twin-roll castingthermal flow simulationmagnesium alloy sheet

Dry Sliding Wear Behavior of Silver Containing Ni-Based Composite-Steel Tribo-Pair

期刊

Ni-based compositessolid lubricantssilver lubricationsliding wearself lubric

Investigation on Mechanism of the Improvement in Tribological Properties of Carbon Fiber Reinforced

期刊

polytetrafluoroethylene(PTFE)carbon fiberfiber-friction-angling effectfrictio

Effect of La Addition on Electrochemical Properties of Amorphous LaMg11Zr+200Ni Alloy

期刊

hydrogen storage alloyLa additionphase structureelectrochemical characteristi

Simulation and Discussion on the Decreasing Flow Stress Scale Effect

期刊

microformingscale effectcrystal plasticitynumerical simulation

Web-Based Biomedical Literature Mining

期刊

Bayesian algorithmterm occurrence frequency(TF)and inverse document frequency(I

Forming Path Optimization for Press Bending of Aluminum Alloy Aircraft Integral Panel

期刊

aluminum alloy integral panelpress bend forming pathneural network response su

Grain Refining Mechanism of Carbon Inoculation on Mg-Al Alloy

期刊

magnesium alloycarbon inoculantheterogeneous nucleation

Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra

其他学术论文