Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic

DOI10.1017/S0960129500000633zbMath0836.03009OpenAlexW2153388953MaRDI QIDQ4847311

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

zbMATH Keywords

coproductsframesalgebraic semanticsintuitionistic logiccategorical semanticsformal topologyintuitionistic linear logicco- Kleisli categoryformal pretopologyquantales with modalitystable interior operator

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Linear logic
• The semantics and proof theory of linear logic
• Sheaves in geometry and logic: a first introduction to topos theory
• On the linear decoration of intuitionistic derivations
• Quantales and (noncommutative) linear logic
• Some Syntactical Observations on Linear Logic

This page was built for publication: Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic