The following pages link to (Q4451641):
Displayed 20 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Hybrid extensions of the minimal logic (Q820493) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Recognizability in pre-Heyting and well-composed logics (Q2003246) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
- Craig's interpolation property in pretabular logics (Q6203335) (← links)