FOCUSED PROOF SEARCH FOR LINEAR LOGIC IN THE CALCULUS OF STRUCTURES

DOI10.4230/LIPICS.ICLP.2010.84zbMath1237.68205OpenAlexW2133487056MaRDI QIDQ2883080

Nicolas Guenot

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_fddd.html

zbMATH Keywords

linear logicproof theoryfocusingproof searchdeep inference

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: FOCUSED PROOF SEARCH FOR LINEAR LOGIC IN THE CALCULUS OF STRUCTURES