Linear logic in computer science

DOI10.17512/JAMCM.2015.1.09OpenAlexW2035353176MaRDI QIDQ2201109FDOQ2201109

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)

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

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

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
• Towards the knowledge in coalgebraic model of IDS
• 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)