排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
Descente Infinie + Deduction 总被引:1,自引:0,他引:1
2.
Hilbert and Bernays avoided overspecification of Hilbert's ε-operator. They axiomatized only what was relevant for their proof-theoretic investigations. Semantically, this left the ε-operator underspecified. After briefly reviewing the literature on semantics of Hilbert's epsilon operator, we propose a new semantics with the following features: We avoid overspecification (such as right-uniqueness), but admit indefinite choice, committed choice, and classical logics. Moreover, our semantics for the ε simplifies proof search and is natural in the sense that it mirrors some cases of referential interpretation of indefinite articles in natural language. 相似文献
3.
Agneta
jehagen Mats Berglund Claus-Peter Appel 《Suicide & life-threatening behavior》1993,23(4):320-328
The importance of previous suicidal behavior for the treatment of alcoholics was analyzed in a long-term outpatient treatment study. In a series of 72 patients, 21 patients, (29%), 17 men and 4 women, had previously made at least one suicide attempt or had seriously threatened to kill themselves (3 cases). In comparison with the other alcoholics, those with previous suicidal behavior had a similar attrition rate, they were not more troublesome in treatment, and they had the same rate of favorable outcome during the third year after start of treatment. They differed from the other alcoholics in having a more severe abuse and a less favorable outcome during the initial part of the treatment. In conclusion, our results support the possibility of a long-term outpatient treatment strategy in alcoholics with previous suicide attempts. 相似文献
1