Pages that link to "Item:Q5117590"
From MaRDI portal
The following pages link to HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590):
Displaying 6 items.
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- (Q4820592) (← links)
- Hereditarily structurally complete modal logics (Q4836055) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)