...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >Characterizing finite-valuedness
【24h】

Characterizing finite-valuedness

机译：表征有限值

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We introduce properties of consequence relations that provide abstract counterparts of different notions of finite-valuedness in logic. In particular, we obtain characterizations of logics that are determined (i) by a single finite matrix, (ii) by a finite set of finite matrices, and (iii) by a set of n-generated matrices for some natural number n. A crucial role is played in our proofs by two closely related notions, local tabularity and local finiteness. (C) 2017 Elsevier B.V. All rights reserved.
机译：我们介绍了结果关系的属性，这些结果关系提供了逻辑中不同有限值概念的抽象对应。特别是，我们获得了逻辑的表征，这些逻辑由（i）一个单一的有限矩阵，（ii）一个有限的有限矩阵集和（iii）由一组n个自然数为n的生成矩阵确定。在我们的证明中，两个紧密相关的概念（局部表格和局部有限）起着至关重要的作用。 （C）2017 Elsevier B.V.保留所有权利。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号