Pages that link to "Item:Q5932468"
From MaRDI portal
The following pages link to The preservation of Sahlqvist equations in completions of Boolean algebras with operators (Q5932468):
Displayed 6 items.
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Boolean algebras arising from information systems (Q598303) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)