Pages that link to "Item:Q1024121"
From MaRDI portal
The following pages link to Interpolation in non-classical logics (Q1024121):
Displaying 12 items.
- Failure of interpolation in relevant logics (Q689074) (← links)
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)
- (Q3784045) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
