On structuring proof search for first order linear logic

zbMATH Open1273.03163MaRDI QIDQ3408152FDOQ3408152

Authors: Paola Bruscoli, Alessio Guglielmi 

Publication date: 24 February 2010

Recommendations

• On structuring proof search for first order linear logic
• scientific article; zbMATH DE number 1499088
• Logic Programming with Focusing Proofs in Linear Logic
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• Focused proof search for linear logic in the calculus of structures

zbMATH Keywords

cut eliminationproof searchfirst-order linear logicForum

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (9)

• A first order system with finite choice of premises
• First-order Answer Set Programming as Constructive Proof Search
• Focused proof search for linear logic in the calculus of structures
• Formalization of linear space theory in the higher-order logic proving system
• Title not available (Why is that?)
• The number of proof lines and the size of proofs in first order logic
• Title not available (Why is that?)
• Linear strategy for Boolean ring based theorem proving
• On structuring proof search for first order linear logic

This page was built for publication: On structuring proof search for first order linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3408152)