Dual tableau for monoidal triangular norm logic MTL

Joanna Goliriska-Pilarek; Ewa Oriowska

首页> 外文期刊>Fuzzy sets and systems >Dual tableau for monoidal triangular norm logic MTL

【24h】

Dual tableau for monoidal triangular norm logic MTL

机译：单项三角范式逻辑MTL的双重画面

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formal-ization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system.

机译：单面三角形范式逻辑MTL是左连续三角形范式的逻辑。在本文中，我们介绍了逻辑MTL的关系形式化，然后介绍了可用于验证MTL公式有效性的关系对偶表。我们证明系统的健全性和完整性。

著录项

来源
《Fuzzy sets and systems》 |2011年第1期|p.39-52|共14页
作者
Joanna Goliriska-Pilarek; Ewa Oriowska;
展开▼
作者单位

Institute of Philosophy, Warsaw University, Poland National Institute of Telecommunications, Warsaw, Poland;

rnNational Institute of Telecommunications, Warsaw, Poland;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
fuzzy logic; monoidal triangular norm logic; relational logic; dual tableau system;

机译：模糊逻辑;单项三角形范数逻辑;关系逻辑;双画面系统;

相似文献

外文文献
中文文献
专利

1. Monoidal t-norm based logic: towards a logic for left-continuous t-norms [J] . Francesc Esteva, Lluis Godo Fuzzy sets and systems . 2001,第3期

机译：基于单项t范数的逻辑：朝向左连续t范数的逻辑
2. Involutive Monoidal t-Norm-Based Logic and R_o Logic [J] . Liu Lianzhen, Li Kaitai International Journal of Intelligent Systems . 2004,第6期

机译：基于对合单调t范数的逻辑和R_o逻辑
3. The standard completeness of interval-valued monoidal t-norm based logic [J] . Van Gasse B., Cornelis C., Deschrijver G., Information Sciences: An International Journal . 2012,第Null期

机译：基于区间值单项t范数的逻辑的标准完备性
4. Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL [C] . Stefano Aguzzoli, Matteo Bianchi International Workshop on Fuzzy Logic and Applications . 2017

机译：基于单向T-NOM的逻辑MTL的微量多值扩展
5. A tableau-based workflow verification framework for Computation Tree Logic (CTL). [D] . Islam, Md Zahidul. 2012

机译：基于树的工作流验证框架，用于计算树逻辑（CTL）。
6. Bounds for the norm of lower triangular matrices on the Cesàro weighted sequence space [O] . Davoud Foroutannia, Hadi Roopaei -1

机译：Cesàro加权序列空间上下三角矩阵的范数的界
7. The standard completeness of intervalvalued monoidal t-norm based logic [O] . B. Van Gasse, C. Cornelis, G. Deschrijver, 2011

机译：基于区间值的单一幺正t-范数逻辑的标准完备性
8. Residual Circuits in Generalized Monoidal Transformations [R] . Glazebrook, J. F. , Verjovsky, A. 1988

机译：广义monoidal变换中的剩余电路

Dual tableau for monoidal triangular norm logic MTL

摘要

著录项

相似文献

相关主题

期刊订阅