Pages that link to "Item:Q1745087"
From MaRDI portal
The following pages link to Slices and levels of extensions of the minimal logic (Q1745087):
Displaying 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 decidability and strong recognizability (Q1703280) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- Layers over minimal logic (Q2364334) (← links)
- Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. (Q5111186) (← links)