Compact proof certificates for linear logic

DOI10.1007/978-3-642-35308-6_17MaRDI QIDQ4916062zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

• Proof search and certificates for evidential transactions
• Structural focalization
• Correctness of linear logic proof structures is NL-complete

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)