Pages that link to "Item:Q2630547"
From MaRDI portal
The following pages link to WIP-minimal logics and interpolation (Q2630547):
Displaying 4 items.
- 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)