Integrated semantics and logic metric spaces

Guo-Jun Wang; Yee Leung

首页> 外文期刊>Fuzzy sets and systems >Integrated semantics and logic metric spaces

【24h】

Integrated semantics and logic metric spaces

机译：集成语义和逻辑度量空间

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The concept of tautology degree of an abstract proposition is proposed in this paper by means of integral of the corresponding function with respect to certain semantics over. Then a pseudo-metric among abstract propositions is introduced and the R-logic metric space is proposed where R is a suitable implication operator. Finally, a new theoretical framework for approximate reasoning in the R-logic metric space is provided.

机译：本文通过相对于某些语义对相应函数进行积分，提出了一个抽象命题的重言式程度的概念。然后介绍了抽象命题中的伪度量，并提出了R逻辑度量空间，其中R是合适的蕴涵算符。最后，提供了一种新的理论框架，用于R-逻辑度量空间中的近似推理。

著录项

来源
《Fuzzy sets and systems》 |2003年第1期|p.71-91|共21页
作者
Guo-Jun Wang; Yee Leung;
展开▼
作者单位

Institute of mathematics, Shaanxi Normal University, Xi'an 710062, People's Republic of China;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类模糊数学;
关键词
tautology degree; integrated MP; integrated HS; R-logic metric space; approximate reasoning;

机译：重言程度综合议员;综合HS R-逻辑度量空间;近似推理;

相似文献

外文文献
中文文献
专利

1. Lattice and metric completions of the classical logic metric space and a comparison [J] . Shi Hui-Xian, Li Yong-Ming Journal of intelligent & fuzzy systems: Applications in Engineering and Technology . 2016,第4期

机译：经典逻辑度量空间的格和度量完成及比较
2. Stratified coherence spaces: a denotational semantics for light linear logic [J] . Patrick Baillot Theoretical computer science . 2004,第1a2期

机译：分层相干空间：轻线性逻辑的指称语义
3. Chu spaces as a semantic bridge between linear logic and mathematics [J] . Vaughan Pratt Theoretical computer science . 2003,第3期

机译：楚空间作为线性逻辑与数学之间的语义桥梁
4. Semantic Associative Search and Space Integration Methods Applied to Semantic Metrics for Multiple Medical Fields [C] . Yasushi KIYOKI, Minoru KAWAMOTO European-Japanese Conference on Information Modelling and Knowledge Bases . 2007

机译：语义关联搜索和空间集成方法应用于多个医疗领域的语义指标
5. Semantics, complexity and capability: The use of integrated navigational tools for information finding in hypertext document space. [D] . Chaopanon, Wasu. 2001

机译：语义，复杂性和功能：使用集成导航工具在超文本文档空间中查找信息。
6. Logic of approximate entailment in quasimetric and in metric spaces [O] . Thomas Vetterlein -1

机译：拟度量空间和度量空间中的近似蕴涵逻辑
7. CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC [O] . SIMON CHO 2020

机译：度量空间的分类语义和连续逻辑
8. Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders [R] . Rutten, J. J. M. M., Turi, D. 1992

机译：最终语义的基础：非标准集，度量空间，部分订单

Integrated semantics and logic metric spaces

摘要

著录项

相似文献

相关主题

期刊订阅