Soft linear set theory
From MaRDI portal
Publication:941435
DOI10.1016/j.jlap.2008.02.010zbMath1145.03036MaRDI QIDQ941435
Publication date: 1 September 2008
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2008.02.010
03E70: Nonclassical and second-order set theories
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Cites Work
- Unnamed Item
- Unnamed Item
- Linear logic
- Bounded linear logic: A modular approach to polynomial-time computability
- A new recursion-theoretic characterization of the polytime functions
- Light linear logic
- The undecidability of Grišin's set theory
- Soft linear logic and polynomial time
- On an interpretation of safe recursion in light affine logic
- Light affine set theory: A naive set theory of polynomial time
- PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
- Foundations of Software Science and Computation Structures