...
首页> 外文期刊>Fuzzy sets and systems >Back-and-forth systems for fuzzy first-order models
【24h】

Back-and-forth systems for fuzzy first-order models

机译:模糊一阶模型的来回系统

获取原文
获取原文并翻译 | 示例
           

摘要

This paper continues the study of model theory for fuzzy logics by addressing the fundamental issue of classifying models according to their first-order theory. Three different definitions of elementary equivalence for fuzzy first-order models are introduced and separated by suitable counterexamples. We propose several back-and-forth conditions, based both on classical two-sorted structures and on non-classical structures, that are useful to obtain elementary equivalence in particular cases as we illustrate with several examples. (C) 2018 Elsevier B.V. All rights reserved.
机译:通过解决根据一阶理论对模型进行分类的基本问题,本文继续对模糊逻辑的模型理论进行研究。介绍了模糊一阶模型的基本等价的三种不同定义,并通过适当的反例进行了分离。我们基于经典的两类结构和非经典的结构提出了一些来回条件,这些条件对于在特定情况下获得基本等价很有用,如我们通过几个示例所说明的。 (C)2018 Elsevier B.V.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号