The following pages link to (Q4175531):
Displaying 18 items.
- Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- Equilibrium logic (Q854969) (← links)
- Amalgamation and interpolation in the category of Heyting algebras (Q1053098) (← links)
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401) (← links)
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603) (← links)
- Interpolation theorems in modal logics. Sufficient conditions (Q1156788) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Interpolation property for bicartesian closed categories (Q1337501) (← links)
- Complexity of some problems in positive and related calculi (Q1401362) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Stable reasoning (Q4586232) (← links)
- On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992) (← links)
- Craig's interpolation property in pretabular logics (Q6203335) (← links)
