Pages that link to "Item:Q511341"
From MaRDI portal
The following pages link to The structure of slices over minimal logic (Q511341):
Displaying 8 items.
- The tabularity problem over the minimal logic (Q515492) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- Layers over minimal logic (Q2364334) (← links)
- Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. (Q5111186) (← links)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797) (← links)