Normal forms and free algebras for some extensions of MTL

Stefano Aguzzoli; Brunella Gerla

首页> 外文期刊>Fuzzy sets and systems >Normal forms and free algebras for some extensions of MTL

【24h】

Normal forms and free algebras for some extensions of MTL

机译：MTL某些扩展的范式和自由代数

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We introduce a semantical definition of minterms and maxterms which generalizes the usual notion in Boolean logic to a class of many-valued logics. We apply this notion to get normal forms for logics G, NM, NMG. Then we obtain a combinatorial description

机译：我们介绍了最小项和最大项的语义定义，它将布尔逻辑中的通常概念概括为一类多值逻辑。我们应用此概念来获得逻辑G，NM，NMG的范式。然后我们得到一个组合描述

著录项

来源
《Fuzzy sets and systems》 |2008年第10期|p.1131-1152|共22页
作者
Stefano Aguzzoli; Brunella Gerla;
展开▼
作者单位

Dept. Computer Science, Universita degli Studi di Milano, Via Comelico 39-41, 20135 Milano, Italy;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类模糊数学;
关键词
nilpotent minimum and goedel logic; MTL; WNM; algebraic semantics; normal forms; free algebras;

机译：幂等极小和Goedel逻辑;MTL;WNM;代数语义;范式;自由代数;

相似文献

外文文献
中文文献
专利

1. Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2 [J] . Roberto Cignoli, Antoni Torrens Torrell Studia Logica . 2006,第1a3期

机译：满足方程2（x2 ）=（2x）2 的Glivenko MTL代数中的自由代数
2. Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions [J] . Agata Ciabattoni, George Metcalfe, Franco Montagna Fuzzy sets and systems . 2010,第3期

机译：MTL及其扩展的真压力源的代数和证明理论特征
3. Free algebras and free groups in Ore extensions and free group algebras in division rings [J] . Bell Jason P., Goncalves Jairo Z. Journal of Algebra . 2016,第Null期

机译：矿石扩展中的自由代数和自由群，以及除法环中的自由群代数
4. Using complexity functions to generate normal forms for free algebra terms [C] . Alexandru Pelin Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium . 1984

机译：使用复杂度函数生成自由代数项的范式
5. Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics利用統計を見る [D] . Shimura Tatsuya 1991

机译：免剪裁的Gentzen风格的系统，用于S4和中间逻辑的某些常规扩展
6. Impacts of metformin and aspirin on life history features and longevity of crickets: trade-offs versus cost-free life extension? [O] . Harvir Hans, Asad Lone, Vadim Aksenov, 2015

机译：二甲双胍和阿司匹林对生活史特征和of寿命的影响：权衡还是免费延长寿命？
7. Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation $${2(x^2) = (2x)^2}$$ 2 ( x 2 ) = ( 2 x ) 2 [O] . Roberto Cignoli, Antoni Torrens 2016

机译：错误到：在Glivenko MTL-Algebras品种中的免费代数满足方程式$$ {2（x ^ 2）=（2x）^ 2} $$ 2（x 2）=（2 x）2

Normal forms and free algebras for some extensions of MTL

摘要

著录项

相似文献

相关主题

期刊订阅