Trees and diagrams of decomposition (Q1066888)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trees and diagrams of decomposition |
scientific article |
Statements
Trees and diagrams of decomposition (English)
0 references
1985
0 references
A general schema is presented for transformation of and/or proof search trees (in systems with the strong subformula property ensuring termination of the search process) into and-trees. The schema is then generalised to contraction-like rules when a bound of the number of applications in one branch is given. No applications to particular systems are presented.
0 references
transformation of and/or proof search trees
0 references
strong subformula property
0 references
and-trees
0 references
contraction-like rules
0 references
