The following pages link to Layers over minimal logic (Q2364334):
Displayed 7 items.
- The structure of slices over minimal logic (Q511341) (← links)
- The tabularity problem over the minimal logic (Q515492) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Craig's interpolation property in pretabular logics (Q6203335) (← links)