A NEW LATTICE-VALUED PROPOSITIONAL LOGIC (I): SEMANTICS

机译：一种新的基于格的值的提议逻辑（I）：语义

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, we establish a lattice-valued propositional logic system based on lattice implication algebras and discuss its semantical properties.

机译：在本文中，我们建立了一个基于格蕴涵代数的格值命题逻辑系统，并讨论了其语义特性。

著录项

来源
《5th International FLINS Conference on Computational Intelligent Systems for Applied Research, Sep 16-18, 2002, Gent, Belgium 》|2002年|p.44-49|共6页
会议地点 Gent(BE);Gent(BE)
作者
KEYUN QIN; YANG XU;
展开▼
作者单位

Dept. Of Applied Mathematics, Southwest Jiaotong University, Chengdu, Sichuan, P. R. China;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术 ;
关键词

相似文献

外文文献
中文文献
专利

1. 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）的多元α语义自动推理
2. α-Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X) [J] . XIAOMEI ZHONG, YANG XU Journal of multiple-valued logic and soft computing . 2014 ,第4a6期

机译：基于格值命题逻辑LP（X）的α群准锁定语义解析方法
3. α-group Semantic Resolution Method Based on Lattice-valued Propositional Logic System LP(X) [J] . Xiaomei Zhong, Yang Xu The Journal of fuzzy mathematics . 2012 ,第4期

机译：基于格值命题逻辑系统LP（X）的α群语义解析方法
4. A Comparison between Lattice-Valued Propositional Logic LP(X) and Gradational Lattice-Valued Propositional Logic Lvpl [C] . OA GANDELMAN, rnG KIDDLE, rnCJ MCELGUNN, 2007 international conference on intelligent systems and knowledge engineering (ISKE 2007) . 2007

机译：格值命题逻辑LP（X）与渐变格值命题逻辑Lvpl的比较
5. Logic in topoi: Functorial semantics for high-order logic [D] . Awodey, Steven M. 1997

机译：Topoi中的逻辑：高阶逻辑的函数语义
6. A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models [O] . Juliana S Bernardes, Alessandra Carbone, Gerson Zaverucha 2011

机译：结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
7. A Comparison between Lattice-Valued Propositional Logic LP(X) and Gradational Lattice-Valued Propositional Logic Lvpl [O] . Zhiyan Chang, Yang Xu, Jiajun Lai, 2007

机译：格子值突出逻辑LP（X）与渐变格子值突出逻辑LVPL的比较

A NEW LATTICE-VALUED PROPOSITIONAL LOGIC (I): SEMANTICS

摘要

著录项

相似文献

相关主题

期刊订阅