Pages that link to "Item:Q1304542"
From MaRDI portal
The following pages link to The complexity of the disjunction and existential properties in intuitionistic logic (Q1304542):
Displayed 6 items.
- A lower bound for intuitionistic logic (Q876385) (← links)
- On lengths of proofs in non-classical logics (Q1006613) (← links)
- Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- On the computational content of intuitionistic propositional proofs (Q5940143) (← links)