Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
From MaRDI portal
Publication:4847311
DOI10.1017/S0960129500000633zbMath0836.03009MaRDI QIDQ4847311
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
coproducts; frames; algebraic semantics; intuitionistic logic; categorical semantics; formal topology; intuitionistic linear logic; co- Kleisli category; formal pretopology; quantales with modality; stable interior operator
18C10: Theories (e.g., algebraic theories), structure, and semantics
03B20: Subsystems of classical logic (including intuitionistic logic)
Cites Work