Linear logic in computer science

DOI10.17512/JAMCM.2015.1.09MaRDI QIDQ2201109zbMATH OpenOpenAlexFDO

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

Publication date 25 September 2020

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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)

Recommendations

• scientific article; zbMATH DE number 4767
• scientific article; zbMATH DE number 786485
• Applications of Linear Logic to Computation: An Overview
• scientific article; zbMATH DE number 2085286
• The semantics and proof theory of linear logic

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 2134910 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 7491972 (Why is no real title available?)
• Asynchronous games 3 an innocent model of linear logic
• Lectures on the Curry-Howard isomorphism
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Specifying coalgebras with modal logic
• Towards the knowledge in coalgebraic model of IDS

Cited in

(5)

• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• Linear Logic and Exceptions
• Between syntax and semantics of resource oriented logic for IDS behavior description
• Linear logic as a logic of computations
• scientific article; zbMATH DE number 2120362 (Why is no real title available?)

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)