Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
DOI10.1017/S0960129500000633zbMATH Open0836.03009OpenAlexW2153388953MaRDI QIDQ4847311FDOQ4847311
Authors: Sara Negri 
Publication date: 2 May 1996
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500000633
Recommendations
- scientific article; zbMATH DE number 2090289
- A note on full intuitionistic linear logic
- A simplified semantics for a fragment of intuitionistic linear logic
- Around classical and intuitionistic linear logics
- The semantics and proof theory of linear logic
- Relating categorical semantics for intuitionistic linear logic
- On some semi-intuitionistic logics
- On the correspondence between nested calculi and semantic systems for intuitionistic logics
- A semantic hierarchy for intuitionistic logic
- Functional Interpretations of Intuitionistic Linear Logic
framescategorical semanticsintuitionistic logiccoproductsalgebraic semanticsformal topologyintuitionistic linear logicco- Kleisli categoryformal pretopologyquantales with modalitystable interior operator
Subsystems of classical logic (including intuitionistic logic) (03B20) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Cites Work
- The semantics and proof theory of linear logic
- Sheaves in geometry and logic: a first introduction to topos theory
- Linear logic
- Quantales and (noncommutative) linear logic
- Some Syntactical Observations on Linear Logic
- Title not available (Why is that?)
- On the linear decoration of intuitionistic derivations
Cited In (2)
This page was built for publication: Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4847311)
