Focused Proof Search for Linear Logic in the Calculus of Structures

Nicolas Guenot

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Focused Proof Search for Linear Logic in the Calculus of Structures

【24h】

Focused Proof Search for Linear Logic in the Calculus of Structures

机译：侧重于结构中的线性逻辑的重点证明

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The proof-theoretic approach to logic programming has benefited from the introduction of focused proof systems, through the non-determinism reduction and control they provide when searching for proofs in the sequent calculus. However, this technique was n

机译：逻辑编程的证明理论方法利益引入了重点证明系统，通过非确定性降低和控制在搜索序列微积分中的证据时提供。但是，这种技术是n

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2010年第30期|共10页
作者
Nicolas Guenot;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems [J] . StéphaneJeanLengrand, RoyDyckhoff, JamesMcKinna Logical Methods in Computer Science . 2011,第1期

机译：用于纯类型系统中的证明搜索的聚焦顺序演算框架
2. On structuring proof search for first order linear logic [J] . Paola Bruscoli, Alessio Guglielmi Theoretical computer science . 2006,第1a3期

机译：关于一阶线性逻辑的结构证明搜索
3. Proof Search Specifications of Bisimulation and Modal Logics for the π-calculus [J] . ALWEN TIU, DALE MILLER ACM transactions on computational logic . 2010,第2期

机译：π演算的双仿真和模态逻辑的证明搜索规范
4. From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic [C] . Dale Miller, Alexis Saurin International Workshop on Computer Science Logic(CSL 2007); 20070911-15; Lausanne(CH) . 2007

机译：从证明到集中证明：线性逻辑中的模块化模块化证明
5. Logical approaches to the complexity of search problems: Proof complexity, quantified propositional calculus, and bounded arithmetic. [D] . Morioka, Tsuyoshi. 2005

机译：解决搜索问题复杂性的逻辑方法：证明复杂性，量化命题演算和有界算术。
6. Serial integration of Dean-structured sample cores with linear inertial focussing for enhanced particle and cell sorting [O] . Paul M. Holloway, Jonathan Butement, Manjunath Hegde, 2018

机译：Dean结构的样品核与线性惯性聚焦的串行集成可增强颗粒和细胞的分选
7. Focused Proof Search for Linear Logic in the Calculus of Structures [O] . Guenot Nicolas 2010

机译：聚焦结构微积分中的线性逻辑搜索
8. Linear Lower Bound on Degrees of Positivstellensatz Calculus Proofs for the211 Parity [R] . Grigoriev, D. 1999

机译：211平分态positivstellensatz微积分证明度的线性下界

Focused Proof Search for Linear Logic in the Calculus of Structures

摘要

著录项

相似文献

相关主题

期刊订阅