Pages that link to "Item:Q1208111"
From MaRDI portal
The following pages link to A study of intermediate propositional logics on the third slice (Q1208111):
Displaying 4 items.
- The structure of slices over minimal logic (Q511341) (← links)
- The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Modal logics that need very large frames (Q5937849) (← links)