Pages that link to "Item:Q1350509"
From MaRDI portal
The following pages link to A proper hierarchy of propositional sequent calculi (Q1350509):
Displaying 5 items.
- Reduction of Hilbert-type proof systems to the if-then-else equational logic (Q1428985) (← links)
- Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II (Q1575637) (← links)
- The proof complexity of analytic and clausal tableaux (Q1575658) (← links)
- Relative efficiency of propositional proof systems: Resolution vs. cut-free LK (Q1577476) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
