Pages that link to "Item:Q1617985"

The following pages link to Extensions of the minimal logic and the interpolation problem (Q1617985):

Displaying 17 items.

• 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)
• Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
• Negative equivalence over the minimal logic and interpolation (Q891973) (← links)
• Recognizability of all WIP-minimal logics (Q1642315) (← links)
• On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
• Extension and equivalence problems for clause minimal formulae (Q1777408) (← links)
• Recognizability in pre-Heyting and well-composed logics (Q2003246) (← links)
• The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
• Perceptibility in pre-Heyting logics (Q2200986) (← links)
• WIP-minimal logics and interpolation (Q2630547) (← links)
• Minimal systems (Q3211278) (← links)
• Interpolation for extended modal languages (Q3370762) (← links)
• Interpolation and Definability in Extensions of the Minimal Logic (Q3409460) (← links)
• A method of proving interpolation in paraconsistent extensions of the minimal logic (Q3546097) (← links)
• (Q5419894) (← links)