Pages that link to "Item:Q1288966"
From MaRDI portal
The following pages link to Subdirectly irreducible modal algebras and initial frames (Q1288966):
Displayed 7 items.
- An intriguing logic with two implicational connectives (Q698537) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Embeddability into relational lattices is undecidable (Q1647970) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- (Q4668868) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- Embeddability into Relational Lattices Is Undecidable (Q5283216) (← links)