The following pages link to Analytic cut trees (Q4521282):
Displaying 8 items.
- Cut formulas in propositional logic (Q689298) (← links)
- Trees and diagrams of decomposition (Q1066888) (← links)
- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence (Q1314288) (← links)
- Fringe analysis of plane trees related to cutting and pruning (Q2413326) (← links)
- Cutting down very simple trees (Q3431999) (← links)
- (Q4524785) (← links)
- A Subatomic Proof System for Decision Trees (Q5056373) (← links)
- Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs (Q5436992) (← links)