• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Order >Dualities and Dual Pairs in Heyting Algebras
【24h】

Dualities and Dual Pairs in Heyting Algebras

机译：Heyting代数中的对偶和对偶

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

摘要

We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories. Finite dualities appeared in [32] in the categorical context of dual characterizations of various classes of structures. It is a simple idea: characterize a given class both by forbidden substructures (associated with subobjects) and by decompositions (associated with factorobjects); this proved to be surprisingly fruitful. In retrospect, it was also a timely concept as it coincided with the introduction (in the logical and artificial intelligence contexts) of the paradigm of Constraint Satisfaction [24,26].
机译：我们使用Heyting代数和（组合）类别的技术提取有限同态对偶性的抽象核心。有限对偶性出现在[32]中，是对各种结构类别的双重特征的分类。这是一个简单的想法：既可以通过禁止的子结构（与子对象关联）又可以通过分解（与因子对象关联）来描述给定的类；这被证明是卓有成效的。回想起来，它也是一个及时的概念，因为它与约束满足范式的引入（在逻辑和人工智能环境中）相吻合[24,26]。

著录项

  • 来源
    《Order》 |2010年第3期|p.327-342|共16页
  • 作者

    Jan Foniok; Jaroslav Nesetril; Ales Pultr; Claude Tardif;

  • 作者单位

    Institute for Operations Research, ETH Zurich, 8092 Zurich, Switzerland;

    rnDepartment of Applied Mathematics and ITI, MFF, Charles University, CZ 11800 Praha 1, Malostranske nam 25, Czech Republic;

    rnDepartment of Applied Mathematics and ITI, MFF, Charles University, CZ 11800 Praha 1, Malostranske nam 25, Czech Republic;

    rnRoyal Military College of Canada, PO Box 17000 Station "Forces", Kingston, Ontario, Canada, K7K 7B4;

  • 收录信息 美国《科学引文索引》(SCI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    homomorphisms; structural theorems in combinatorics; good characterization; finite duality;

    机译：同态组合学中的结构定理;良好的表征;有限对偶;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号