Pages that link to "Item:Q1024121"
From MaRDI portal
The following pages link to Interpolation in non-classical logics (Q1024121):
Displayed 7 items.
- 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)
- 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)