Pages that link to "Item:Q1311077"
From MaRDI portal
The following pages link to Continuality of the set of maximal superintuitionistic logics with the disjunction property (Q1311077):
Displaying 6 items.
- Metalogic of intuitionistic propositional calculus (Q609765) (← links)
- On maximal intermediate logics with the disjunction property (Q1097260) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- (Q5221581) (← links)