Linear logic with fixed resources

DOI10.1016/0168-0072(94)90006-XzbMath0813.03010OpenAlexW2016867439MaRDI QIDQ1326773

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

modelsproof theoryprovabilitysequentlinear 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)

Related Items

IN MEMORIAM: MIKHAIL A. TAITSLIN 1936–2013, Linear logic for nets with bounded resources

Cites Work

• Linear logic
• The linear abstract machine