首页> 外文OA文献 >Non-Clausal Multi-ary a-Generalized Resolution Calculus for a Finite Lattice-Valued Logic

【2h】

Non-Clausal Multi-ary a-Generalized Resolution Calculus for a Finite Lattice-Valued Logic

机译：用于有限晶格型逻辑的非字词多ARY A-Aligentizate积分

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yang Xu; Jun Liu; Xingxing He; Xiaomei Zhong; Shuwei Chen;
展开▼
作者单位

展开▼
年度 2018
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Multi-ary alpha-ordered linear minimal resolution method in lattice-valued logic system [J] . Jia Hairui, Liu Yi, Xu Yang Journal of intelligent & fuzzy systems: Applications in Engineering and Technology . 2018,第3期

机译：格子值逻辑系统中的多artα订购线性最小分辨率方法
2. MULTI-ARY α-SEMANTIC RESOLUTION AUTOMATED REASONING BASED ON A LATTICE-VALUED PROPOSITION LOGIC LP(X) [J] . Yi Liu, Hairui Jia, Yang Xu International Journal of Innovative Computing Information and Control . 2016,第5期

机译：基于格值命题逻辑LP（X）的多元α语义自动推理
3. Multi-ary alpha-semantic resolution automated reasoning based on lattice-valued first-order logic LF(X) [J] . Liu Yi, Xu Yang, Zhong Xiaomei Journal of intelligent & fuzzy systems: Applications in Engineering and Technology . 2015,第4期

机译：基于格值一阶逻辑LF（X）的多进制alpha语义分辨率自动推理
4. NON-CLAUSAL MULTI-ARY α-SEMANTIC RESOLUTION BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X) [C] . Y. LIU, Y. XU International FLINS conference . 2016

机译：基于格值命题逻辑LP（X）的非句型多元α语义解析
5. Substructural logics, combinatory logic, and lambda-calculus. [D] . Bimbo, Katalin. 1999

机译：子结构逻辑，组合逻辑和lambda演算。
6. Proof theory for locally finite many-valued logics: Semi-projective logics [O] . Agata Ciabattoni, Franco Montagna -1

机译：局部有限多值逻辑的证明理论：半射逻辑
7. α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [O] . Weitao Xu, Wenqiang Zhang, Dexian Zhang, 2015

机译：晶格值突出逻辑系统格子值喇叭通用条款的α分辨率方法

Non-Clausal Multi-ary a-Generalized Resolution Calculus for a Finite Lattice-Valued Logic

著录项

引文网络

相似文献

相关主题

期刊订阅