搜索结果: 1-2 共查到“理学 Negation”相关记录2条 . 查询时间(0.127 秒)
Delimited control operators prove Double-negation Shift
double negation shift delimited control operators intuitionistic logic
2011/1/18
We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift schema, while preservi...
《The Expression of Emotion in Man and Animals》Chapter 11 DISDAIN,CONTEMPT,DISGUST,GUILT,PRIDE, ETC.,HELPLESSNESS,PATIENCE,AFFIRMATION AND NEGATION
The Expression of Emotion in Man and Animals 人类与动物的感情表达 查尔斯·达尔文 Charles Darwin
2008/12/22
SCORN and disdain can hardly be distinguished from contempt, excepting that they imply a rather more angry frame of mind. Nor can they be clearly distinguished from the feelings discussed in the last ...