The following pages link to (Q5460922):
Displaying 7 items.
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- A lower bound for intuitionistic logic (Q876385) (← links)
- Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
- ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS (Q5100154) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
