Compact proof certificates for linear logic

DOI10.1007/978-3-642-35308-6_17zbMATH Open1383.68073OpenAlexW176871363MaRDI QIDQ4916062FDOQ4916062

Authors: Kaustuv Chaudhuri 

Publication date: 19 April 2013

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35308-6_17

Recommendations

• Reasoning about resources and information: a linear logic approach
• A linear logic of authorization and knowledge
• On the complexity of linear authorization logics
• scientific article; zbMATH DE number 1231522
• Linear logic with fixed resources

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (2)

• Correctness of linear logic proof structures is NL-complete
• Structural focalization

This page was built for publication: Compact proof certificates for linear logic

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