Pages that link to "Item:Q1204112"
From MaRDI portal
The following pages link to An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112):
Displaying 5 items.
- 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)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- Counting the maximal intermediate constructive logics (Q4283073) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
