Technical Report WV[removed]November 2005 On Structuring Proof Search for First Order Linear Logic - Cut rule - Document - PDFSEARCH.IO

First Page	Meta Content
	Technical Report WV[removed]November 2005 On Structuring Proof Search for First Order Linear Logic Add to Reading List Document Date: 2012-01-04 16:21:37 Open Document File Size: 355,87 KB Share Result on Facebook City Dresden / / Country United Kingdom / / / Facility University of Bath / / IndustryTerm obvious algorithm / cut-free sequent systems / formal systems / search space / proof search / / Organization University of Bath / / Person Paola Bruscoli / Alessio Guglielmi One / / Position degenerate head / head / / ProgrammingLanguage C / / ProvinceOrState Oregon / / Technology obvious algorithm / / SocialTag Sequent calculus Sequent Symbol Linear logic Entailment Cut-elimination theorem Interpretation Rule of inference Logic programming Logic

Technical Report WV[removed]November 2005 On Structuring Proof Search for First Order Linear LogicAdd to Reading List