An extended Gentzen-type formulation of a many-valued modal prepositional logic based on Zadeh's similarity relation

Osamu Morkawa

首页> 外文期刊>Fuzzy Sets and Systems >An extended Gentzen-type formulation of a many-valued modal prepositional logic based on Zadeh's similarity relation

【24h】

An extended Gentzen-type formulation of a many-valued modal prepositional logic based on Zadeh's similarity relation

机译：基于Zadeh相似关系的多值模态介词逻辑的扩展Gentzen型表述

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

摘要

The main purpose of this paper is to present an extended Gentian-type formulation of a many-valued modal prepositional logic based onZadeh's similarity relation.

机译：本文的主要目的是基于扎德的相似关系，提出一种多值模态介词逻辑的扩展的Gentian型表述。

著录项

来源
《Fuzzy Sets and Systems》 |1999年第1期|115-123|共9页
作者
Osamu Morkawa;
展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类模糊数学;
关键词
Logic; Fuzzy relation; Many-valued logic; Modal logic; Rough logic;

机译：逻辑;模糊关系多值逻辑;模态逻辑粗略逻辑;

相似文献

外文文献
中文文献
专利

1. Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations [J] . Diaconescu Denisa Fundamenta Informaticae . 2020,第2a3期

机译：多价位置逻辑的模态等价与双模逻辑，具有多种值可访问关系
2. Many-Valued Logic and Zadeh's Fuzzy Sets: A Stone Representation Theorem for Interval-Valued Lukasiewicz-Moisil Algebras [J] . Abdelaziz Amroune, Lemnaouar Zedam, Bijan Davvaz Journal of Intelligent Systems . 2016,第2期

机译：多值逻辑和Zadeh的模糊集：区间值Lukasiewicz-Moisil代数的石头表示定理
3. On the relationship between fuzzy description logics and many-valued modal logics [J] . Marco Cerami, Francesc Esteva, Àngel García-Cerdaña 高分子論文集 . 2018,第FEBa期

机译：关于模糊描述逻辑与多值模态逻辑的关系
4. Classical Gentzen-type methods in propositional many-valued logics [C] . Avron A. The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006 . 2006

机译：命题多值逻辑中的经典Gentzen类型方法
5. Image annotation and retrieval based on multi-modal feature clustering and similarity propagation. [D] . Ben Ismail, Mohamed Maher. 2011

机译：基于多模式特征聚类和相似度传播的图像标注和检索。
6. Generalization of the Landauer Principle for Computing Devices Based on Many-Valued Logic [O] . Edward Bormashenko 2019

机译：基于多价逻辑的计算设备兰德克原理的概括
7. Classical Gentzen-type Methods in Propositional Many-Valued Logics [O] . Arnon Avron 2002

机译：命题多值逻辑中的经典Gentzen型方法
8. Extending Computational Tree Logic with Relations and Underfinedness [R] . Coleman, J. W. 2010

机译：用关系和不确定性扩展计算树逻辑

An extended Gentzen-type formulation of a many-valued modal prepositional logic based on Zadeh's similarity relation

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅