Pages that link to "Item:Q2259002"
From MaRDI portal
The following pages link to Remarks on the Scott-Lindenbaum theorem (Q2259002):
Displaying 10 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- On a theorem of Peter Scott (Q3189592) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- (Q3695539) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Disjunctive Multiple-Conclusion Consequence Relations (Q5126201) (← links)
- Ordering groups constructively (Q5238136) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)