The following pages link to (Q5565080):
Displayed 3 items.
- Separability of normalizable superintuitionistic propositional logics (Q1290801) (← links)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)