Linear logic in computer science

DOI10.17512/JAMCM.2015.1.09OpenAlexW2035353176MaRDI QIDQ2201109FDOQ2201109

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 logicproofsresources

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)

Cites Work

• Title not available (Why is that?)
• Linear logic
• Lectures on the Curry-Howard isomorphism
• Asynchronous games 3 an innocent model of linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specifying coalgebras with modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Linear logic as a logic of computations
• Linear Logic and Exceptions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Between syntax and semantics of resource oriented logic for IDS behavior description

This page was built for publication: Linear logic in computer science

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