Pages that link to "Item:Q5214734"
From MaRDI portal
The following pages link to A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734):
Displaying 4 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- On theories with the general disjunction property (Q995384) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Some properties of conjunctivity (subfitness) in generalized settings (Q6087853) (← links)