Linear logic in computer science

DOI10.17512/jamcm.2015.1.09OpenAlexW2035353176MaRDI QIDQ2201109

Peter Prazňák, Andrea Poláková, Valerie Novitzká, William Steingartner

Publication date: 25 September 2020

Published in: Journal of Applied Mathematics and Computational Mechanics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.17512/jamcm.2015.1.09

zbMATH Keywords

linear logicresourcesproofs

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Computer science (68-XX)

Related Items

Between syntax and semantics of resource oriented logic for IDS behavior description

Cites Work

• Linear logic
• Lectures on the Curry-Howard isomorphism
• Logic Programming with Focusing Proofs in Linear Logic
• Specifying coalgebras with modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item