Pages that link to "Item:Q1902977"
From MaRDI portal
The following pages link to A method to single out maximal propositional logics with the disjunction property. II (Q1902977):
Displaying 8 items.
- Logics with disjunction and proof by cases (Q938238) (← links)
- On maximal intermediate logics with the disjunction property (Q1097260) (← 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. I (Q1902974) (← 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)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)