Interpolation in fragments of classical linear logic
From MaRDI portal
Publication:4302342
DOI10.2307/2275398zbMath0804.03005OpenAlexW2154981679MaRDI 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
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Interpolation via translations, A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic, Craig Interpolation in Displayable Logics, Interpolation in non-classical logics
Cites Work