Pages that link to "Item:Q4283073"
From MaRDI portal
The following pages link to Counting the maximal intermediate constructive logics (Q4283073):
Displayed 4 items.
- Proof analysis in intermediate logics (Q661286) (← 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)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)