Interpolation in fragments of classical linear logic
From MaRDI portal
Publication:4302342
DOI10.2307/2275398zbMath0804.03005MaRDI QIDQ4302342
Publication date: 15 August 1994
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275398
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Interpolation in non-classical logics, A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic, Craig Interpolation in Displayable Logics, Interpolation via translations
Cites Work