首页> 外文OA文献 >A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic

【2h】

A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic

机译：具有否定性作为子结构逻辑的构造逻辑的后续演算

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Metcalfe George;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Constructive Logic with Strong Negation as a Substructural Logic [J] . MANUELA BUSANICHE, ROBERTO CIGNOLI Journal of logic and computation . 2010,第4期

机译：具有强否定性的构造逻辑作为子结构逻辑
2. Constructive Logic with Strong Negation is a Substructural Logic. II [J] . M. Spinks, R. Veroff Studia Logica . 2008,第3期

机译：具有强否定性的构造逻辑是一种子结构逻辑。 II
3. Constructive Logic with Strong Negation is a Substructural Logic. I [J] . Matthew Spinks, Robert Veroff Studia Logica . 2008,第3期

机译：具有强否定性的构造逻辑是一种子结构逻辑。一世
4. A Conditional Constructive Logic for Access Control and Its Sequent Calculus [C] . Valerio Genovese, Laura Giordano, Valentina Gliozzi, Automated reasoning with analytic tableaux and related methods . 2011

机译：访问控制的条件构造逻辑及其后续演算
5. Substructural logics, combinatory logic, and lambda-calculus. [D] . Bimbo, Katalin. 1999

机译：子结构逻辑，组合逻辑和lambda演算。
6. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic [O] . Christian Fermüller, Timo Lang, Alexandra Pavlova -1

机译：从真相比较游戏到Gödel逻辑的相依关系计算
7. Constructive Logic with Strong Negation is a Substructural Logic. II [O] . M. Spinks, R. Veroff 2008

机译：强大否定的建设性逻辑是一个副结构逻辑。 II

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号