The following pages link to (Q4428299):
Displaying 8 items.
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- The complexity of the disjunction and existential properties in intuitionistic logic (Q1304542) (← links)
- (Q3220564) (← links)
- (Q3475248) (← links)
- (Q3797162) (← links)
- The complexity of disjunction in intuitionistic logic (Q5108032) (← links)
- Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)