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

Unifying logics via context-sensitiveness

机译：通过上下文敏感统一逻辑

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

摘要

The goal of this article is to design a uniform proof-theoretical framework encompassing classical, non-monotonic and paraconsistent logic. This framework is obtained by the control sets logical device, a syntactical apparatus for controlling derivations. Abasic feature of control sets is that of leaving the underlying syntax of a proof system unchanged, while affecting the very combinatorial structure of sequents and proofs. We prove the cut-elimination theorem for a version of controlled propositional classical logic, i. e. the sequent calculus for classical propositional logic to which a suitable system of control sets is applied. Finally, we outline the skeleton of a new (positive) account of non- monotonicity and paraconsistency in terms of concurrent processes.
机译：本文的目的是设计一个统一的证明理论框架，其中包括经典，非单调和超一致逻辑。该框架由控制集逻辑设备（一种用于控制派生的语法设备）获得。控制集的基本功能是保持证明系统的基本语法不变，同时影响顺序和证明的非常组合的结构。我们证明了受控命题经典逻辑i的形式的割除定理。 e。对经典命题逻辑的后续演算，并应用了合适的控制集系统。最后，我们根据并发过程概述了新的（正）非单调性和超一致性的框架。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号