Pages that link to "Item:Q1902974"
From MaRDI portal
The following pages link to A method to single out maximal propositional logics with the disjunction property. I (Q1902974):
Displaying 7 items.
- On maximal intermediate logics with the disjunction property (Q1097260) (← links)
- Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
- Continuality of the set of maximal superintuitionistic logics with the disjunction property (Q1311077) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete. (Q2710597) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)