The following pages link to Cut formulas in propositional logic (Q689298):
Displaying 5 items.
- Relative efficiency of propositional proof systems: Resolution vs. cut-free LK (Q1577476) (← links)
- Cut for core logic (Q2919946) (← links)
- From the subformula property to cut-admissibility in propositional sequent calculi (Q4612444) (← links)
- A Subatomic Proof System for Decision Trees (Q5056373) (← links)
- Cut and Weakening in Fuzzy Horn Logic (Q5716215) (← links)