Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

Agata Ciabattoni; George Metcalfe; Franco Montagna

首页> 外文期刊>Fuzzy sets and systems >Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

【24h】

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

机译：MTL及其扩展的真压力源的代数和证明理论特征

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and "very true" are presented here both algebraically in the framework of residuated lattices and proof-theoretically as hypersequent calculi. Completeness with respect to standard algebras based on t-norms, embeddings between logics, decidability, and the finite embedding property are then investigated for these logics.

机译：这里以代数形式在剩余格架中以理论上证明是超序列演算，从而以单调t范数逻辑MTL和相关的模糊逻辑的扩展，采用诸如全球化和“非常真实”之类的真实压力模式。然后针对这些逻辑研究基于t范数，逻辑之间的嵌入，可判定性和有限嵌入性质的标准代数的完备性。

著录项

来源
《Fuzzy sets and systems》 |2010年第3期|369-389|共21页
作者
Agata Ciabattoni; George Metcalfe; Franco Montagna;
展开▼
作者单位

University of Technology, Vienna, Austria;

Department of Mathematics, University of Bern, Switzerland;

Department of Mathematics, University of Siena, Italy;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
modal logics; fuzzy logics; proof theory; hypersequent calculus; truth stressers; standard completeness;

机译：模态逻辑模糊逻辑;证明理论继发性结石;讲真话的人;标准完整性;

相似文献

外文文献
中文文献
专利

1. Normal forms and free algebras for some extensions of MTL [J] . Stefano Aguzzoli, Brunella Gerla Fuzzy sets and systems . 2008,第10期

机译：MTL某些扩展的范式和自由代数
2. Cohomological characterizations of non-abelian extensions of strict Lie 2-algebras [J] . Tang Rong, Sheng Yunhe Journal of geometry and physics . 2019,第期

机译：严格谎言2-代数非雅中延伸的协调特征
3. Cohomology Characterizations of Diagonal Non-Abelian Extensions of Regular Hom-Lie Algebras ?￠???? [J] . Lina Song, Rong Tang Symmetry . 2017,第12期

机译：正则Hom-Lie代数的对角非阿贝尔扩展的同调特性
4. An algebraic characterization of covariance extension problem and its applications [C] . Ohara, A. . 2003

机译：协方差扩展问题的代数刻画及其应用
5. Extension Of Stress-Based Finite Element Model Using Resilient Modulus Material Characterization To Develop A Theoretical Framework for Realistic Response Modeling of Flexible Pavements on Cohesive Subgrades. [D] . Parris, Kadri. 2015

机译：扩展基于弹性模量材料特征的基于应力的有限元模型，以开发一种理论上的框架，用于对粘性路基上的柔性路面进行真实的响应建模。
6. Mtl1 Is Required to Activate General Stress Response through Tor1 and Ras2 Inhibition under Conditions of Glucose Starvation and Oxidative Stress [O] . Mima Ivanova Petkova, Nuria Pujol-Carrion, Javier Arroyo, 2010

机译：Mtl1是必需的通过葡萄糖饥饿和氧化应激条件下的Tor1和Ras2抑制来激活一般应激反应。
7. Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions [O] . Ciabattoni, Agata, Metcalfe, George, Montagna, Franco 2010

机译：MTL及其扩展的真压力源的代数和证明理论特征
8. Stress-Induced Cracking of Fluorocarbon Rubber MTL-0002 After Exposure to DS-2 [R] . Kinsley, K. M. 1993

机译：暴露于Ds-2后氟碳橡胶mTL-0002的应力诱导裂纹

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

摘要

著录项

相似文献

相关主题

期刊订阅