首页> 外文期刊>Journal of applied non-classical logics >Continuity, freeness, and filtrations
【24h】

Continuity, freeness, and filtrations

机译:连续性,自由度和过滤

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

摘要

The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of (standard) finitely generated free S4-algebras.
机译:研究了连续态素在命题模态逻辑中所起的作用:事实证明,它们与过滤和自由代数概念的适当变型严格相关。我们还在(标准)有限生成的自由S4代数的增量构造中采用连续态射。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号