Pages that link to "Item:Q2772901"
From MaRDI portal
The following pages link to Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics (Q2772901):
Displaying 3 items.
- Quantified extensions of canonical propositional intermediate logics (Q1207339) (← links)
- On canonicity and strong completeness conditions in intermediate propositional logics (Q1970920) (← links)
- All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete. (Q2710597) (← links)