弗朗西斯科·埃斯特瓦;路易斯·戈多;天使加西亚·塞尔达尼亚 基于t-范数的重估模糊逻辑的层次结构。 （英语） Zbl 1038.03026号 Fitting，Melvin（编辑）等人，《超越二：多值逻辑的理论和应用》。海德堡：Physica-Verlag（ISBN 3-7908-1541-1/pbk）。模糊软计算研究。114, 251-272 (2003). 在本出版物中，作者综述了以t-范数为合取数的[0,1]值逻辑及其关联残差为蕴涵算子的逻辑和代数结果。公理系统和代数变体被描述并置于逻辑层次结构中。证明了由左包含t-范数定义的[0,1]中的剩余结构产生的最一般的变化是预线性剩余格（MTL-代数）的变化。给出了与子结构逻辑和Ono的全Lambek演算扩展层次的关系。关于整个系列，请参见[Zbl 1015.00007号].审核人：克劳迪·阿尔西纳（巴塞罗那） 引用于1审查引用于21文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 03G10年 格和相关结构的逻辑方面 6月20日 Heyting代数（格理论方面） 关键词：三角模;残渣;MTL代数;模糊逻辑的层次结构;调查 PDF格式BibTeX公司 XML格式引用 \textit{F.Esteva}等人，《模糊软计算研究》。114251--272（2003；Zbl 1038.03026）