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 4 items.
- 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 <i>ω</i>-complete (Q2710597) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
