The following pages link to Stability of the Blok theorem (Q998759):
Displayed 4 items.
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)