Pages that link to "Item:Q1023047"
From MaRDI portal
The following pages link to Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047):
Displaying 11 items.
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- Proof complexity of propositional default logic (Q647339) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- Rules with parameters in modal logic. II. (Q2004954) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- Expander construction in \(\mathrm{VNC}^1\) (Q2187260) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Expander Construction in VNC1 (Q4638081) (← links)
- Topological differential fields and dimension functions (Q4899165) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
