Pages that link to "Item:Q4302342"
From MaRDI portal
The following pages link to Interpolation in fragments of classical linear logic (Q4302342):
Displaying 8 items.
- Interpolation in non-classical logics (Q1024121) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- Interpolation via translations (Q3184216) (← links)
- Interpolants for Linear Arithmetic in SMT (Q3540071) (← links)
- A weak form of interpolation in equational logic (Q3546111) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)