Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ICLP
2010
Springer

favoriteEmaildiscussreport

132views Automated Reasoning» more ICLP 2010»

Focused Proof Search for Linear Logic in the Calculus of Structures

13 years 8 months ago

Focused Proof Search for Linear Logic in the Calculus of Structures

Download drops.dagstuhl.de

The proof-theoretic approach to logic programming has beneﬁted from the

Nicolas Guenot

Real-time Traffic

Automated Reasoning | ICLP 2010 | Proof-theoretic Approach |

claim paper

Related Content

» From Proofs to Focused Proofs A Modular Proof of Focalization in Linear Logic

» Focused Inductive Theorem Proving

» Focusing and Polarization in Intuitionistic Logic

» A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

» Focusing in Linear Metalogic

» A Sequent Calculus for Modelling Interferences

» Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear ...

» ConnectionBased Proof Construction in Linear Logic

» Polarized Montagovian Semantics for the LambekGrishin calculus

Post Info
More Details (n/a)

Added	15 Aug 2010
Updated	15 Aug 2010
Type	Conference
Year	2010
Where	ICLP
Authors	Nicolas Guenot

Comments (0)