Linear logic with fixed resources

DOI10.1016/0168-0072(94)90006-XMaRDI QIDQ1326773zbMATH OpenOpenAlexFDO

Authors Michael A. Taitslin, Dmitri A. Archangelsky

Publication date 8 June 1995

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(94)90006-x

zbMATH Keywords

proof theorymodelsprovabilitysequentlinear logic with modalitiesnet of communicationnonexponential algorithm checking provability and providing a proof

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1678395
• Linear logic for nets with bounded resources
• Non-normal modalities in variants of linear logic
• scientific article; zbMATH DE number 785051
• Decision problems for propositional linear logic

Cites work

• Linear logic
• The linear abstract machine

Cited in

(5)

• Linear logic for nets with bounded resources
• In memoriam: Mikhail A. Taitslin, 1936--2013
• Compact proof certificates for linear logic
• scientific article; zbMATH DE number 1678395 (Why is no real title available?)
• Non-normal modalities in variants of linear logic

This page was built for publication: Linear logic with fixed resources

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