The following pages link to (Q4263014):
Displaying 6 items.
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
