Interpolation in fragments of classical linear logic

DOI10.2307/2275398zbMath0804.03005OpenAlexW2154981679MaRDI QIDQ4302342

Dirk Roorda

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

zbMATH Keywords

interpolation theorempropositional linear logicfragments

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

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

• Linear logic
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• The structure of multiplicatives
• Proof Nets for Lambek Calculus

This page was built for publication: Interpolation in fragments of classical linear logic