• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >On meet-combination of logics
【24h】

On meet-combination of logics

机译：关于逻辑的组合

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

摘要

When combining logics while imposing the sharing of connectives, the result is frequently inconsistent. In fact, in fibring, fusion and other forms of combination reported in the literature, each shared connective inherits the logical properties of each of its components. A new form of combining logics (meet-combination) is proposed where such a connective inherits only the common logical properties of its components. The conservative nature of the proposed combination is shown to hold without provisos. Preservation of soundness and completeness is also proved. Illustrations are provided involving classical, intuitionistic and modal logics.
机译：当在强加连接词的共享时组合逻辑时，结果通常是不一致的。实际上，在文献中报道的纤维化，融合和其他形式的组合中，每个共享的连接物都继承了其每个组成部分的逻辑特性。提出了一种新的组合逻辑形式（meet-combination），其中这种连接词仅继承其组件的公共逻辑属性。所提议的组合的保守性质在没有附带条件的情况下仍然成立。还证明了保存的完整性和完整性。提供了涉及经典，直觉和模态逻辑的插图。

著录项

  • 来源
    《Journal of logic and computation》 |2012年第6期|1453-1470|共18页
  • 作者

    A. SERNADAS; C. SERNADAS; J. RASGA;

  • 作者单位

    Departamento de Matemdtica, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, Portugal and SQIG, Instituto de Telecomunicaqoes, Lisboa, Portugal;

    Departamento de Matemdtica, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, Portugal and SQIG, Instituto de Telecomunicaqoes, Lisboa, Portugal;

    Departamento de Matemdtica, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, Portugal and SQIG, Instituto de Telecomunicaqoes, Lisboa, Portugal;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    combined logics; combined connectives;

    机译：组合逻辑;组合词;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号