Towards a theory of resource: an approach based on soft exponentials
From MaRDI portal
Publication:3647264
DOI10.3166/jancl.17.63-89zbMath1186.03056OpenAlexW2049861791MaRDI QIDQ3647264
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.17.63-89
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Cites Work
- Unnamed Item
- Linear logic
- Phase semantics and decidability of elementary affine logic
- Decision problems for propositional linear logic
- Phase semantics for light linear logic
- Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Soft linear logic and polynomial time
- Linear and affine logics with temporal, spatial and epistemic operators
- Combining Soft Linear Logic and Spatio-temporal Operators