The following pages link to (Q4282596):
Displayed 8 items.
- Incremental variable splitting (Q429591) (← links)
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- Liberalized variable splitting (Q877894) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Accelerating tableaux proofs using compact representations (Q1334905) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- lean\(T^ AP\): Lean tableau-based deduction (Q1904400) (← links)