The following pages link to (Q5588586):
Displaying 6 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
