Pages that link to "Item:Q4283073"
From MaRDI portal
The following pages link to Counting the maximal intermediate constructive logics (Q4283073):
Displayed 8 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)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)
- A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics (Q6201547) (← links)