Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs (Q5436992)
From MaRDI portal
scientific article; zbMATH DE number 5227983
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs |
scientific article; zbMATH DE number 5227983 |
Statements
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs (English)
0 references
18 January 2008
0 references
proof theory
0 references
non-analytic cuts
0 references
sequent calculus
0 references
tableaux
0 references
cut elimination
0 references
SAT-solvers
0 references
decision-based learning
0 references
inference-based learning
0 references
