Pages that link to "Item:Q2630547"
From MaRDI portal
The following pages link to WIP-minimal logics and interpolation (Q2630547):
Displaying 9 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)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Recognizability of all WIP-minimal logics (Q1642315) (← links)
- Perceptibility in pre-Heyting logics (Q2200986) (← links)
- Minimal systems (Q3211278) (← links)