Introduction to Cirquent Calculus and Abstract Resource Semantics
DOI10.1093/logcom/exl005zbMath1113.03023arXivmath/0506553OpenAlexW1968811614WikidataQ56780723 ScholiaQ56780723MaRDI QIDQ3412001
Publication date: 4 December 2006
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0506553
sequent calculuslinear logicproof theorysubstructural logicscomputability logicresource semanticscirquent calculusaffine logic
Logic in computer science (03B70) Structure of proofs (03F07) 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)
Related Items
This page was built for publication: Introduction to Cirquent Calculus and Abstract Resource Semantics