Theories with the Independence Property |
| |
| Authors: | MLJ van de Vel |
| |
| Affiliation: | 1.Faculty of sciences (FEW),Vrije Universiteit Amsterdam,Amsterdam,The Netherlands |
| |
| Abstract: | A first-order theory T{{mathcal T}} has the Independence Property provided T vdash (Q)(FT F1 ú. . .úFn){{{mathcal T} , , vdash (Q)(Phi Rightarrow {Phi_1} vee.,.,.vee {Phi_n})}} implies T vdash (Q)(FT Fi){{{mathcal T} , , vdash (Q)(Phi Rightarrow {Phi_i})}} for some i whenever F,F1, . . . ,Fn{{Phi,Phi_1,,.,.,.,,Phi_n}} are formulae of a suitable type and (Q) is any quantifier sequence. Variants of this property have been noticed for some time in logic programming and in linear programming. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
