Pages that link to "Item:Q1024121"
From MaRDI portal
The following pages link to Interpolation in non-classical logics (Q1024121):
Displaying 18 items.
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Failure of interpolation in relevant logics (Q689074) (← links)
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Interpolation in fuzzy logic (Q1818593) (← 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)
- Interpolation in propositional Horn logic (Q4612438) (← links)
- Three interpolation theorems for typeless logics (Q4913997) (← links)